AskOverflow.Dev

AskOverflow.Dev Logo AskOverflow.Dev Logo

AskOverflow.Dev Navigation

  • Início
  • system&network
  • Ubuntu
  • Unix
  • DBA
  • Computer
  • Coding
  • LangChain

Mobile menu

Close
  • Início
  • system&network
    • Recentes
    • Highest score
    • tags
  • Ubuntu
    • Recentes
    • Highest score
    • tags
  • Unix
    • Recentes
    • tags
  • DBA
    • Recentes
    • tags
  • Computer
    • Recentes
    • tags
  • Coding
    • Recentes
    • tags
Início / coding / Perguntas / 77888742
Accepted
Pandasonsleds
Pandasonsleds
Asked: 2024-01-27 04:05:30 +0800 CST2024-01-27 04:05:30 +0800 CST 2024-01-27 04:05:30 +0800 CST

Lisp dfs não retornando caminho acíclico

  • 772

Estou criando um programa lisp para encontrar um caminho acíclico em um gráfico não direcionado e retornar esse caminho ao usuário. O caminho não precisa necessariamente ser o caminho mais curto. Meu código completo é o seguinte:

(defvar graph '((A B C)
                  (B A C)
                  (C A B D)
                  (D C)
                  ))

(defun getneighbours (graph node) ;Gets neighbors of the given node.
    (if (assoc node graph)
        (cdr (assoc node graph))
        '()
    )
)

(defun acyclicpath (graph start goal) 
    (setq visited '()) ;Reset the returnpath and visited variables for the next search.
    (setq returnpath '())
    (if (dfswithpath graph start goal) ;Path found reverse path and return.
        (reverse 'returnpath)
    )
    nil
)

(defun dfswithpath (graph node goal)
    (if (equal node goal) ;Goal reached return true.
        (push node returnpath)
        t
    )

    (push node visited) ;Update visited list.

    (dolist (neighbour (getneighbours graph node)) ;Call dfs on each neighbour of node if not already visited.
        (if (not (member neighbour visited))
            (if (dfswithpath graph neighbour goal)
                (push node returnpath)
                t
            )
        )
    )
    nil ;No path found
)

(print (acyclicpath graph 'A 'C))

A execução desse código resulta em um valor nulo sendo sempre retornado pela função dfswithpath. Limitei o problema à chamada recursiva dfswithpath na função dolist. Parece que ele nunca resolve t e, portanto, a função push aninhada nunca é chamada. No entanto, não consigo entender por que esse é o caso.

lisp
  • 1 1 respostas
  • 29 Views

1 respostas

  • Voted
  1. Best Answer
    Kaz
    2024-01-27T09:08:16+08:002024-01-27T09:08:16+08:00

    A dfswithpathfunção retorna nil porque a última forma dessa função é nil. Para retornar de uma função diferente da execução até a última, você deve usar (return-from dfswithpath <value>).

    Estilisticamente, isso só deve ser usado quando não houver uma maneira legal de escrever a função em um estilo funcional.

    (defun dfswithpath (graph node goal)
        (if (equal node goal) ;Goal reached return true.
            (push node returnpath)
            t
        )
    

    Você espera que isso retorne tda função? Isso não. Você precisa disso return-fromou reorganizar o código para torná-lo desnecessário.

    Além disso, iftoma expressões únicas como argumentos, para que testeja na posição "else": (if condition this else).

        (dolist (neighbour (getneighbours graph node)) ;Call dfs on each neighbour of node if not already visited.
            (if (not (member neighbour visited))
                (if (dfswithpath graph neighbour goal)
                    (push node returnpath)
                    t
                )
            )
        )
        nil ;No path found
    

    Dentro dolist, você pode usar (return <value>)para encerrar o dolistformulário, com esse valor. Se terminar naturalmente, retornará nil. Então você pode fazer isso no final da sua função:

    (dolist (neighbour ...)
      (if condition
        (return t))
      ...))
    

    E é isso; não nilé necessário depois. A última forma da função é a dolist, que produz resultados nilse executar todas as iterações. (Há um lugar na dolistsintaxe para especificar uma expressão, o return-form , cujo valor fornece dolisto valor de retorno de , mas não precisamos disso aqui).

    • 0

relate perguntas

  • Por que (nil . nil) é avaliado como (nil) em vez de apenas nil no SBCL?

  • Função lambda com com

Sidebar

Stats

  • Perguntas 205573
  • respostas 270741
  • best respostas 135370
  • utilizador 68524
  • Highest score
  • respostas
  • Marko Smith

    Vue 3: Erro na criação "Identificador esperado, mas encontrado 'import'" [duplicado]

    • 1 respostas
  • Marko Smith

    Por que esse código Java simples e pequeno roda 30x mais rápido em todas as JVMs Graal, mas não em nenhuma JVM Oracle?

    • 1 respostas
  • Marko Smith

    Qual é o propósito de `enum class` com um tipo subjacente especificado, mas sem enumeradores?

    • 1 respostas
  • Marko Smith

    Como faço para corrigir um erro MODULE_NOT_FOUND para um módulo que não importei manualmente?

    • 6 respostas
  • Marko Smith

    `(expression, lvalue) = rvalue` é uma atribuição válida em C ou C++? Por que alguns compiladores aceitam/rejeitam isso?

    • 3 respostas
  • Marko Smith

    Quando devo usar um std::inplace_vector em vez de um std::vector?

    • 3 respostas
  • Marko Smith

    Um programa vazio que não faz nada em C++ precisa de um heap de 204 KB, mas não em C

    • 1 respostas
  • Marko Smith

    PowerBI atualmente quebrado com BigQuery: problema de driver Simba com atualização do Windows

    • 2 respostas
  • Marko Smith

    AdMob: MobileAds.initialize() - "java.lang.Integer não pode ser convertido em java.lang.String" para alguns dispositivos

    • 1 respostas
  • Marko Smith

    Estou tentando fazer o jogo pacman usando apenas o módulo Turtle Random e Math

    • 1 respostas
  • Martin Hope
    Aleksandr Dubinsky Por que a correspondência de padrões com o switch no InetAddress falha com 'não cobre todos os valores de entrada possíveis'? 2024-12-23 06:56:21 +0800 CST
  • Martin Hope
    Phillip Borge Por que esse código Java simples e pequeno roda 30x mais rápido em todas as JVMs Graal, mas não em nenhuma JVM Oracle? 2024-12-12 20:46:46 +0800 CST
  • Martin Hope
    Oodini Qual é o propósito de `enum class` com um tipo subjacente especificado, mas sem enumeradores? 2024-12-12 06:27:11 +0800 CST
  • Martin Hope
    sleeptightAnsiC `(expression, lvalue) = rvalue` é uma atribuição válida em C ou C++? Por que alguns compiladores aceitam/rejeitam isso? 2024-11-09 07:18:53 +0800 CST
  • Martin Hope
    The Mad Gamer Quando devo usar um std::inplace_vector em vez de um std::vector? 2024-10-29 23:01:00 +0800 CST
  • Martin Hope
    Chad Feller O ponto e vírgula agora é opcional em condicionais bash com [[ .. ]] na versão 5.2? 2024-10-21 05:50:33 +0800 CST
  • Martin Hope
    Wrench Por que um traço duplo (--) faz com que esta cláusula MariaDB seja avaliada como verdadeira? 2024-05-05 13:37:20 +0800 CST
  • Martin Hope
    Waket Zheng Por que `dict(id=1, **{'id': 2})` às vezes gera `KeyError: 'id'` em vez de um TypeError? 2024-05-04 14:19:19 +0800 CST
  • Martin Hope
    user924 AdMob: MobileAds.initialize() - "java.lang.Integer não pode ser convertido em java.lang.String" para alguns dispositivos 2024-03-20 03:12:31 +0800 CST
  • Martin Hope
    MarkB Por que o GCC gera código que executa condicionalmente uma implementação SIMD? 2024-02-17 06:17:14 +0800 CST

Hot tag

python javascript c++ c# java typescript sql reactjs html

Explore

  • Início
  • Perguntas
    • Recentes
    • Highest score
  • tag
  • help

Footer

AskOverflow.Dev

About Us

  • About Us
  • Contact Us

Legal Stuff

  • Privacy Policy

Language

  • Pt
  • Server
  • Unix

© 2023 AskOverflow.DEV All Rights Reserve