Als «algorithms» getaggte Fragen

13
Transitive Reduktion der DAG

Ich suche einen O (V + E) -Algorithmus, um die transitive Reduktion bei gegebener DAG zu finden. Das heißt, entfernen Sie so viele Kanten wie möglich, so dass Sie nach dem Entfernen der Kanten immer noch nach v greifen können, wenn Sie v von u aus für willkürliches v und u erreichen könnten. Wenn...

13
Wenn

Ich habe diesen Satz gerade auf Seite 6 von Garey und Johnsons "Computers and Intractability" gefunden. Jeder Algorithmus, dessen Zeitkomplexitätsfunktion nicht so begrenzt werden kann, wird als Exponentialzeitalgorithmus bezeichnet (obwohl zu beachten ist, dass diese Definition bestimmte...

13
Algorithmen, die berechnen, ob eine Zahl ein Vielfaches von 3 ist

Wenn man mentale Berechnungen macht, kann man: Bei einer Ganzzahl k summieren Sie alle Ziffern (in Basis 10). Wenn das Ergebnis ein Vielfaches von 3 ist, ist k ein Vielfaches von 3. Kennen Sie einen Algorithmus, der ähnlich arbeitet, aber mit Binärziffern (Bits) arbeitet? Zuerst dachte ich daran,...

12
Optimale Strategie für ein abstraktes Spiel

Ich habe in einem Interview das folgende Problem erhalten (das ich bereits nicht gelöst habe und nicht versucht habe, mich vorbeizuschleichen): Das Spiel beginnt mit einer positiven Ganzzahl . (ZB A 0 = 1234. ) Diese Zahl wird in eine binäre Darstellung umgewandelt, und N ist die Anzahl der auf 1...

12
Diskrepanz zwischen Kopf und Schwanz

Betrachten Sie eine Folge von nnn Flips einer unbefangenen Münze. Sei HiHiH_i der absolute Wert des Überschusses der Anzahl von Köpfen über Schwänzen, die in den ersten iii Flips gesehen wurden. Definiere H=maxiHiH=maxiHiH=\text{max}_i H_i . Zeigen Sie, dass E[Hi]=Θ(i√)E[Hi]=Θ(i)E[H_i]=\Theta (...

12
Multicore-SAT-Löser

Ich versuche, ein SAT-Problem mit 25k Klauseln und 5k Variablen zu lösen. Da es seit einer Stunde läuft (Precosat) und ich später größere Probleme lösen möchte, suche ich einen Mehrkern-SAT-Solver. Da es anscheinend viele SAT-Solver gibt, bin ich ziemlich verloren. Könnte mir jemand das beste für...