Als «reference-request» getaggte Fragen

Eine Referenzanforderung wird verwendet, wenn der Autor über Arbeiten im Zusammenhang mit der Frage Bescheid wissen muss.

1
Irgendwelche SAT / SMT-Formulierungen des VRP / VRPTW (TSP, Job-Shop-Scheduling)?
Ich frage mich, ob es irgendwelche Ansätze gibt, die ein Fahrzeugroutenproblem mit Zeitfenstern ( VRPTW ) (als Entscheidungsproblem) als SAT / SMT-Instanz formulieren . (Alternative: TSP) Zum Beispiel: "Gibt es eine gültige Lösung, die alle Kunden innerhalb ihrer Zeitfenster mit n = 10 Fahrzeugen besucht?" Dieses Entscheidungsproblem könnte für einen …
1
Suchalgorithmen für die Datenbank der metrischen Graphentheorie
Ich schreibe (langsam) eine Rezension des Handbuchs der Chemoinformatik-Algorithmen für SIGACT News. In einem Kapitel werden aktuelle Software-Implementierungen erläutert, und die Datenbanksuchen (und andere Anwendungen) scheinen nicht so viele Informationen über die Diagramme zu nutzen, wie sie könnten. Andererseits wären theoretischere Algorithmen möglicherweise zu schwer zu implementieren. Es scheint jedoch …
1
Was ist der Unterschied zwischen Moggis rechnergestützter Metasprache und Moggis Lambda-Kalkül?
Dies ist eine Referenzverwirrung. Manchmal sehe ich Leute, die den Begriff "Moggis rechnergestützte Metasprache" verwenden, um sich auf den von Moggi vorgestellten Kalkül zu beziehen, und manchmal auf "Moggis rechnergestütztes Lambda-Kalkül". Manchmal verwenden sie und manchmal .λmlλml\lambda_{ml}λcλc\lambda_c Ich habe immer angenommen, dass beide dasselbe sind, aber wenn ich die Zusammenfassung …
2
Kommunikationskomplexität der Annäherung an die Größe der festgelegten Schnittmenge
Betrachten Sie das Problem der Schnittmenge: Alice und Bob erhalten jeweils eine Teilmenge von und möchten wissen, ob sich ihre Mengen überschneiden. Dies ist ein kanonisches Problem der Kommunikationskomplexität, und es ist bekannt, dass randomisierte Protokolle für dieses Problem -Kommunikationsbits erfordern ( siehe Übersicht hier ). In dem Fall, in …
1
Vertex isoperimetrische Zahl eines Graphen - NP-hart?
Die isoperimetrische Scheitelpunktzahl eines Graphen ist . Mehrere wissenschaftliche Arbeiten geben an, dass das Problem der Berechnung der isoperimetrischen Scheitelpunktzahl eines Graphen NP-hart ist, ohne Beweis oder Referenz.G = ( V., E.)G=(V.,E.)G=(V,E) ichV.( G ) = min { | N.( S.) || S.|: S.⊆ V.,1≤|S|≤|V|2}iV(G)=min{|N(S)||S|:S⊆V,1≤|S|≤|V|2}i_V(G) = \min\{\frac{|N(S)|}{|S|} : S \subseteq …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.