Computerwissenschaften

9
Härte und Reduktionsrichtungen

Nehmen wir an, wir wissen, dass Problem A schwierig ist, dann reduzieren wir A auf das unbekannte Problem B, um zu beweisen, dass B auch schwierig ist. Als Beispiel: Wir wissen, dass 3-Farben schwer sind. Dann reduzieren wir 3-Farben auf 4-Farben. Durch das Zusammenführen einer der Farben in der...

9
Ist regelmäßig?

Ich habe vor einigen Wochen meine Theorie der Rechenprüfungen abgelegt, und dies war eine der Fragen: Angenommen, die SpracheL = { ( anbm)r∣n,m,r≥0}L={(anbm)r∣n,m,r≥0}L=\{(a^nb^m)^r \mid n,m,r\ge 0\} Ist L regelmäßig? Wenn ja, geben Sie einen regulären Ausdruck oder einen Automaten dafür an....

9
Finden Sie

Sei die Sprache aller 2- CNF-Formeln φ , so dass mindestens ( 1LϵLϵL_\epsilon222φφ\varphiderφ-Klauseln können erfüllt sein.(12+ϵ)(12+ϵ)(\frac{1}{2}+\epsilon)φφ\varphi Ich muss beweisen, dass es st L ϵ gibt, das für jedes ϵ < ϵ ' N P -hart ist