Als «algorithms» getaggte Fragen

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...

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
Rationale Zahlen vergleichen

Gegeben a,b,c,d∈Na,b,c,d∈Na,b,c,d \in \mathbb N und b,d∉{0}b,d∉{0}b,d \notin \{0\} , ab<cd⟺ad<cbab<cd⟺ad<cb \begin{eqnarray*} \frac a b < \frac c d &\iff& ad < cb \end{eqnarray*} Meine Fragen sind: Gegeben a,b,c,da,b,c,da,b,c,d Angenommen, wir können in , gibt es eine Möglichkeit, zu...

12
Was genau ist ein Algorithmus?

Ich weiß, dass dies ein bisschen ungewöhnlich klingt, in der Tat habe ich immer in der Box nachgedacht, aber in letzter Zeit habe ich darüber nachgedacht, ob die Informatik ein hohes Maß an Freiheit bietet, um andere Programme als zu entwickeln diejenigen, die an der Universität gelehrt. Betrachten...

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
Linearer Zeitmarkierungsalgorithmus für einen Baum?

Ich habe einen ungerichteten Baum, dessen Eckpunkte ich beschriften möchte. Die Blattknoten sollten mit einem gekennzeichnet sein. Dann nehmen wir an, die Blätter wurden entfernt. In dem verbleibenden Baum sollten die Blätter mit zwei gekennzeichnet sein. Dieser Vorgang wird auf offensichtliche...