Als «search-problem» getaggte Fragen

1
Abdeckungsproblem (Sender und Empfänger)
Ich versuche das folgende Abdeckungsproblem zu lösen. Es gibt nnn Sender mit einer Reichweite von 1 km und nnn Empfänger. Entscheiden Sie in O(nlogn)O(nlog⁡n)O(n\log n) dass alle Empfänger von einem Sender abgedeckt werden. Alle Empfänger und Sender werden durch ihre xxx und yyy Koordinaten dargestellt. Die fortschrittlichste Lösung, mit der …
4
Kann es schwierig sein, einen Zeugen zu finden, selbst wenn wir bereits wissen, dass es einen gibt?
Die häufigsten Beispiele für NP-harte Probleme (Clique, 3-SAT, Scheitelpunktabdeckung usw.) sind solche, bei denen wir vorher nicht wissen, ob die Antwort "Ja" oder "Nein" lautet. Angenommen, wir haben ein Problem, bei dem wir wissen, dass die Antwort Ja lautet. Außerdem können wir einen Zeugen in Polynomzeit verifizieren. Können wir dann …
2
Wie klassifiziere ich mein Problem bei der Optimierung der Emulator-Eingabe und mit welchem ​​Algorithmus soll ich es angehen?
Aufgrund der Art der Frage muss ich viele Hintergrundinformationen hinzufügen (da meine Frage lautet: Wie kann ich diese eingrenzen?). Sie kann jedoch (nach bestem Wissen) wie folgt zusammengefasst werden: Welche Methoden gibt es, um lokale Optima in extrem großen kombinatorischen Suchräumen zu finden? Hintergrund In der Tool-unterstützten Superplay-Community möchten wir …
2
Invariante für verschachtelte Schleife im Matrix-Multiplikationsprogramm
Ich mache eine Abschlussarbeit über den Nachweis der Richtigkeit des Programms zum Multiplizieren von 2 Matrizen mit Hoare-Logik. Dazu muss ich die Invariante für die verschachtelte Schleife für dieses Programm generieren: for i = 1:n for j = 1:n for k = 1:n C(i,j) = A(i,k)*B(k,j) + C(i,j); end end …
7 algorithms  loop-invariants  correctness-proof  formal-languages  regular-languages  pumping-lemma  logic  logic  programming-languages  lambda-calculus  term-rewriting  operational-semantics  complexity-theory  time-complexity  computability  proof-techniques  reductions  digital-preservation  distributed-systems  storage  algorithms  dynamic-programming  check-my-algorithm  reference-request  cryptography  quantum-computing  formal-languages  regular-languages  context-free  formal-grammars  algorithms  graphs  network-flow  algorithms  data-structures  randomized-algorithms  lists  computability  proof-techniques  undecidability  terminology  distributed-systems  parallel-computing  artificial-intelligence  heuristics  search-problem  algorithms  computational-geometry  algorithm-analysis  asymptotics  recurrence-relation  mathematical-analysis  master-theorem  algorithms  algorithm-analysis  runtime-analysis  computability  reductions  turing-machines  formal-languages  context-free 
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.