Computerwissenschaften

1

Ich habe mir den Kurs "Gödelization in Theory of Computation" angeschaut. Ich konnte die Gödel-Nummerierungskonzepte verstehen, aber ich konnte nicht verstehen, wie wichtig sie für die Berechnungstheorie sind. Könnte jemand bitte auf einige gute Materialien hinweisen oder auf ihre Bedeutung hinweisen.

12 formal-languages turing-machines

3

Finden des Elements, das in einer sehr großen Datei am häufigsten vorkommt

Ich habe diese Interviewfrage oft gestellt bekommen und ich hatte gehofft, einige Meinungen darüber zu bekommen, was gute Antworten sein könnten: Sie haben eine große Datei mit mehr als 10 GB und möchten herausfinden, welches Element am häufigsten vorkommt, was ein guter Weg ist um dies zu tun? Das Wiederholen …

12 algorithms arrays

3

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 ( \sqrt{i} )undE[H]=Θ(n−−√)E[H]=Θ(n)E[H]=\Theta( \sqrt{n} ). Dieses Problem taucht im ersten Kapitel …

12 probability-theory randomized-algorithms

4

Kann jemand ein einfaches, aber nicht spielerisches Beispiel für eine kontextsensitive Grammatik geben?

Ich versuche, kontextsensitive Grammatiken zu verstehen. Ich verstehe, warum Sprachen mögen {ww∣w∈A∗}{ww∣w∈A∗}\{ww \mid w \in A^*\} {anbncn∣n∈N}{anbncn∣n∈N}\{a^n b^n c^n \mid n\in\mathbb{N}\} sind nicht kontextfrei, aber was würde ich gerne wissen, wenn eine Sprache, die der untypisierten Lambda-Rechnung ähnelt, kontextsensitiv ist? Ich würde gerne ein Beispiel für ein einfaches, aber nicht-spielerisches …

12 formal-grammars programming-languages lambda-calculus context-sensitive

2

Sind alle kontextsensitiven Sprachen entscheidbar?

Ich habe die Wikipedia-Definition der kontextsensitiven Sprache durchgearbeitet und Folgendes gefunden: Jede Kategorie von Sprachen ist eine richtige Untermenge der Kategorie direkt darüber. Jeder Automat und jede Grammatik in jeder Kategorie hat einen entsprechenden Automaten oder eine entsprechende Grammatik in der Kategorie direkt darüber. Ich konnte sehen, dass der linear …

12 formal-grammars turing-machines undecidability context-sensitive

2

Gibt es eine Möglichkeit, zwischen LL (k) - und LR (k) -Grammatik zu unterscheiden?

Ich studiere vor kurzem über das Entwerfen von Compilern. Ich habe zwei Arten von Grammatik kennengelernt: die LL-Grammatik und die LR-Grammatik. Wir kennen auch die Tatsachen, dass jede LL-Grammatik LR ist, das heißt, LL-Grammatik ist eine richtige Teilmenge der LR-Grammatik. Die erste Methode wird beim Parsen von oben nach unten …

12 formal-grammars compilers parsers lr-k ll-k

4

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 bestimmen, ohne die Multiplikationen (oder Divisionen), und . Oder gibt es …

12 algorithms integers

2

Minimaler Spanning Tree mit doppelten Gewichtungsparametern

Betrachte einen Graphen . Jede Kante hat zwei Gewichte und . Suchen Sie einen Spanning Tree, der das Produkt . Der Algorithmus sollte in Bezug auf in Polynomzeit ablaufen .e A e B e ( ∑ e ∈ T A e ) ( ∑ e ∈ T B e ) …

12 algorithms graph-theory spanning-trees

6

n * log n und n / log n gegen die Polynomlaufzeit

Ich verstehe, dass schneller als Θ ( n log n ) und langsamer als Θ ( n / log n ) ist . Was schwierig ist , ist für mich zu verstehen , wie eigentlich vergleichen Θ ( n log n ) und Θ ( n / log n ) …

12 asymptotics mathematical-analysis landau-notation

3

Warum bedeuten größere Eingabegrößen schwierigere Instanzen?

Angenommen, wir arbeiten mit einer Infinite-Tape-Turing-Maschine. Wenn ich jemandem den Begriff der Zeitkomplexität erläutere und erkläre, warum er im Verhältnis zur Eingabegröße einer Instanz gemessen wird, bin ich auf die folgende Behauptung gestoßen: [..] Zum Beispiel ist es normal, dass Sie mehr Schritte benötigen, um zwei Ganzzahlen mit 100000 Bits …

12 complexity-theory time-complexity intuition

2

Schnittmenge und Vereinigung einer regulären und einer nicht regulären Sprache

Sei regulär, regulär, nicht regulär. Zeigen Sie, dass nicht regelmäßig ist, oder geben Sie ein Gegenbeispiel an.L1L1L_1L1∩L2L1∩L2L_1 \cap L_2L2L2L_2L1∪L2L1∪L2L_1 \cup L_2 Ich habe versucht: Schauen Sie sich . Dieser ist regelmäßig. Ich kann dafür einen endlichen Automaten konstruieren: ist regulär, ist regulär, also entferne alle Pfade (endliche Menge) für aus …

12 formal-languages regular-languages

2

Benötigt die Sprache regulärer Ausdrücke Push-Down-Automaten, um sie zu analysieren?

Ich möchte einen von einem Benutzer eingegebenen regulären Ausdruck in einen NFA konvertieren, damit ich den NFA dann zu Übereinstimmungszwecken für eine Zeichenfolge ausführen kann. Was ist die minimale Maschine, die verwendet werden kann, um reguläre Ausdrücke zu analysieren? Ich gehe davon aus, dass es sich um einen Push-Down-Automaten handeln …

12 formal-languages parsers regular-expressions pushdown-automata

3

Wie schnell können wir alle Vierquadratkombinationen finden, die sich zu N summieren?

Bei Stack Overflow wurde eine Frage gestellt ( hier ): Bei einer gegebenen Ganzzahl NNN werden alle möglichen Kombinationen von Ganzzahlwerten von A,B,CA,B,CA,B,C und DDD ausgedruckt, die die Gleichung lösen A2+B2+C2+D2=NA2+B2+C2+D2=NA^2+B^2+C^2+D^2 = N. Diese Frage steht natürlich im Zusammenhang mit Bachets zahlentheoretischer Vermutung (manchmal wegen seines Beweises auch Lagranges Vierquadrat-Theorem …

12 complexity-theory time-complexity number-theory enumeration

2

Ist die Karp-Reduktion identisch mit der Levin-Reduktion?

Definition: Karp-Reduktion Eine Sprache AAA ist Karp reduzierbar auf eine Sprache BBB , wenn es eine Polynom-berechenbare Funktion ist f : { 0 , 1 } * → { 0 , 1 } *f:{0,1}∗→{0,1}∗f:\{0,1\}^*\rightarrow\{0,1\}^* so dass für jeden xxx , x ∈ Ax∈Ax\in A , wenn und nur wenn f …

12 complexity-theory reductions check-my-proof

2

Rekonstruktion von Graphen aus der Gradverteilung

Wie schnell können wir bei einer gegebenen Gradverteilung ein Diagramm erstellen, das der gegebenen Gradverteilung folgt? Eine Link- oder Algorithmus-Skizze wäre gut. Der Algorithmus sollte ein "Nein" melden, wenn kein Diagramm erstellt werden kann, und ein beliebiges Beispiel, wenn mehrere Diagramme erstellt werden können.

12 algorithms graphs graph-theory