Computerwissenschaften

1

Ich bin kürzlich auf ein Papier gestoßen, das die im Titel erwähnte Parsing-Technik beschreibt. Leider ist die in diesem Artikel verwendete Terminologie etwas unverständlich, so dass ich versucht habe, den Konstruktionsalgorithmus intuitiver zu erfassen. Ich glaube, es ist mir gelungen ( diese Präsentation war die Quelle des ah-ha-Moments), aber eine …

10 algorithms formal-grammars context-free parsing

3

Entscheidbare Sprachen und uneingeschränkte Grammatik?

Turingmaschinen und uneingeschränkte Grammatiken sind zwei verschiedene Formalismen, die die RE-Sprachen definieren. Einige RE-Sprachen sind entscheidbar, aber nicht alle. Wir können die entscheidbaren Sprachen mit Turing-Maschinen definieren, indem wir sagen, dass eine Sprache entscheidbar ist, wenn es ein TM für die Sprache gibt, die alle Zeichenfolgen in der Sprache anhält …

10 computability turing-machines formal-grammars

4

Ermitteln der Größe der kleinsten Teilmenge mit GCD = 1

Dies ist ein Problem aus der Übungsstunde des polnischen Collegiate Programming Contest 2012 . Obwohl ich die Lösungen für den Hauptwettbewerb finden konnte, kann ich nirgendwo eine Lösung für dieses Problem finden. Das Problem ist: Wenn eine Menge von verschiedenen positiven ganzen Zahlen nicht größer als 10 9 ist , …

10 algorithms number-theory

1

Zeigen, dass das minimale Löschen von Scheitelpunkten in einem zweigeteilten Diagramm NP-vollständig ist

Betrachten Sie das folgende Problem, dessen Eingabeinstanz ein einfacher Graph und eine natürliche ganze Zahl .GGGkkk Gibt es eine Menge so dass zweigeteilt ist und ?S⊆V(G)S⊆V(G)S \subseteq V(G)G−SG−SG - S|S|≤k|S|≤k|S| \leq k Ich möchte zeigen, dass dieses Problem ist -komplette entweder durch 3-SAT, wodurch -CLIQUE, -DOMINATING SET oder -eckiges COVER …

10 complexity-theory np-complete reductions

1

Maximieren einer konvexen Funktion mit einer linearen Einschränkung

maximieren f( x )vorbehaltlich A x = bmaximize f(x)subject to Ax=b\text{maximize } f(\mathbf{x}) \quad\text{subject to } \mathbf{Ax} = \mathbf{b} wo f( x ) = ∑i = 1N.1 + x4ich( ∑N.i = 1x2ich)2- -- -- -- -- -- -- -- -- -- -- -- -- -⎷,f(x)=∑i=1N1+xi4(∑i=1Nxi2)2,f(\mathbf{x}) = \sum_{i=1}^N\sqrt{1+\frac{x_i^4}{\left(\sum_{i=1}^{N}x_i^2\right)^2}}, und A ∈ …

10 optimization

3

anonyme Lambda-Funktionen (funktionale Programmierung)

Was sind anonyme (Lambda) Funktionen? Was ist die formale Definition einer anonymen Funktion in einer funktionalen Programmiersprache? In meinen einfachen Worten, wenn ich in Schema / Lisp programmiere, würde ich sagen, dass eine anonyme (Lambda) Funktion eine Funktion ist, die nicht an einen Bezeichner gebunden ist. Ist das alles, was …

10 logic programming-languages lambda-calculus functional-programming

1

Mögliche Funktion binärer Heap-Extrakt max O (1)

Ich brauche Hilfe bei der Ermittlung der möglichen Funktion für einen maximalen Heap, damit der Extrakt max in der amortisierten Zeit von ist. Ich sollte hinzufügen, dass ich die mögliche Methode nicht gut verstehe.O(1)O(1)O(1) Ich weiß, dass die Einfügefunktion mehr "zahlen" sollte, um die Kosten der Extraktion zu senken, und …

10 data-structures runtime-analysis heaps amortized-analysis

2

Theoretische Mindestanzahl von Registern für einen modernen Computer?

Ich habe in meinem Grundstudium einen Kurs über Compiler besucht, in dem wir einen Compiler geschrieben haben, der Quellprogramme in einer Spielzeug-Java-ähnlichen Sprache zu einer Spielzeug-Assemblersprache kompiliert (für die wir einen Dolmetscher hatten). Im Projekt haben wir einige Annahmen über den Zielcomputer getroffen, die eng mit "echten" nativen ausführbaren Dateien …

10 compilers computer-architecture

1

Eine Programmiersprache, die nur berechenbare bijektive Funktionen implementieren kann?

Gibt es Programmiersprachen (oder Logik), die eine Funktion genau dann implementieren (oder ausdrücken) können, wenn f eine berechenbare bijektive Funktion ist?f: N → N.f:N→Nf:\mathbb{N}\to \mathbb{N}fff

10 reference-request programming-languages logic reversible-computing

3

Beweisen, dass wenn

Ich würde mich sehr über Ihre Hilfe beim Nachweis des Folgenden freuen. Wenn dann ist .P = N P.N T i m e ( n100) ⊆ D T i m e ( n1000)NTime(n100)⊆DTime(n1000)\mathrm{NTime}(n^{100}) \subseteq \mathrm{DTime}(n^{1000})P = N P.P=NP\mathrm{P}=\mathrm{NP} Hier ist die Klasse aller Sprachen, die von einer nichtdeterministischen Turing-Maschine in …

10 time-complexity complexity-classes p-vs-np

7

Wo finde ich veröffentlichte Forschungsarbeiten?

Ich komme aus der POV von jemandem, der über eine Promotion in Informatik nachdenkt. Ich habe Probleme zu entscheiden, worauf ich mich bei meiner Promotion konzentrieren möchte. Siehe auch diese Frage zu akademia.SE . Ich denke also, dass das Lesen / Aktualisieren der Forschungsergebnisse und der Veröffentlichung von Forschungsarbeiten eine …

10 reference-request

3

Modifizieren des Dijkstra-Algorithmus für Kantengewichte aus dem Bereich

Angenommen, ich habe einen gerichteten Graphen mit Kantengewichten aus dem Bereich in dem K konstant ist. Wie kann ich den Algorithmus / die Datenstruktur ändern und die zeitliche Komplexität auf O ( | V | + | E | ) verbessern, wenn ich versuche, den kürzesten Weg mithilfe des Dijkstra-Algorithmus …

10 algorithms data-structures shortest-path weighted-graphs

1

Intuition hinter Relativierung

Ich nehme an einem Kurs über Computerkomplexität teil. Mein Problem ist, dass ich die Relativierungsmethode nicht verstehe . Leider habe ich bisher in vielen Lehrbüchern ein wenig Intuition gefunden, ohne Erfolg. Ich würde es begrüßen, wenn jemand das Licht auf dieses Thema werfen könnte, damit ich alleine weitermachen kann. Nur …

10 complexity-theory np-complete complexity-classes relativization np

1

Zuordnungsproblem für mehrere Tage

Ich habe ein Problem, das auf ein Zuordnungsproblem reduziert werden kann. (In einer früheren Frage habe ich herausgefunden, wie das geht.) Das heißt, wir haben eine Menge von Agenten und eine Menge von Aufgaben sowie eine Kostenfunktion . Wir müssen einen Auftrag finden, damit die Gesamtkosten minimal sind.AAATTTc(i,j)c(i,j)c(i,j) Der ungarische …

10 algorithms graph-theory assignment-problem

1

Beweis, dass ein zufällig erstellter binärer Suchbaum eine logarithmische Höhe hat

Wie beweisen Sie, dass die erwartete Höhe eines zufällig erstellten binären Suchbaums mit nnn Knoten O(logn)O(log⁡n)O(\log n) ? Es gibt einen Beweis in der CLRS- Einführung in Algorithmen (Kapitel 12.4), aber ich verstehe ihn nicht.

10 data-structures algorithm-analysis binary-trees search-trees average-case