Computerwissenschaften

3

Problem stoppen - ein Problem, das mich stört

Meines Wissens fragt das Problem beim Anhalten, ob es ein Programm gibt, das entscheidet, ob ein getestetes Programm unter Berücksichtigung einiger Eingabedaten (unabhängig davon, um welches Programm es sich handelt oder welche Eingabedaten wir geben) beendet wird oder nicht. Die Antwort auf dieses Problem lautet "Nein". Mit anderen Worten, es …

8 computability halting-problem

2

Ausführen eines Algorithmus für Daten aus der Ferne und Sicherstellen, dass die Antwort nicht manipuliert wurde

Ich habe jahrelang über dieses spezielle Computer- / Krypto- / Datenbankproblem nachgedacht und möchte nur wissen, ob es bereits Lösungen dafür gibt. Um ehrlich zu sein, weiß ich nicht einmal genau, zu welchem Bereich dieses Problem gehört. Kurz gesagt: Person A verfügt über eine Datenliste, eine andere Person (B) über …

8 cryptography security protocols encryption

2

Was ist die zeitliche Komplexität dieses Algorithmus? Und warum?

Ich bin festgefahren, wenn ich die zeitliche Komplexität des folgenden Algorithmus analysiere: def fun (r, k, d, p): if d > p: return r if d = 0 and p = 0: r <- r + k return r if d > 0: fun (r, k + 1, d - …

8 algorithm-analysis runtime-analysis

2

Was sind einige effiziente Methoden, um die Unterschiede zwischen zwei großen Textkorpussen mit ähnlichen, aber unterschiedlich geordneten Inhalten zu ermitteln?

Ich habe zwei große Dateien mit Absätzen englischen Textes: Der erste Text ist ungefähr 200 Seiten lang und hat ungefähr 10 Absätze pro Seite (jeder Absatz ist 5 Sätze lang). Der zweite Text enthält fast genau die gleichen Absätze und Texte wie der erste. Es ist auch 200 Seiten lang …

8 strings data-mining natural-language-processing edit-distance

2

Bei einer TM -

Ich möchte feststellen, ob dieses Entscheidungsproblem entscheidbar ist. Ich habe versucht, Reduzierungen von Halt und "Akzeptiert leere Zeichenfolgen" zu ermitteln, habe jedoch noch keine Lösung gefunden. Kann mir jemand helfen?

8 computability turing-machines undecidability

1

Sollte die Aktivierungsfunktion in neuronalen Netzen monoton sein?

Viele Aktivierungsfunktionen in neuronalen Netzen (Sigmoid, Tanh, Softmax) sind monoton, kontinuierlich und differenzierbar (mit Ausnahme einiger Punkte, an denen keine Ableitung vorhanden ist). Ich verstehe den Grund für Kontinuität und Differenzierbarkeit, kann aber einen Grund für Monotonität nicht wirklich verstehen.

8 machine-learning neural-networks

1

Welche Beziehung besteht zwischen Problemen und Sprachen?

Ich möchte genau fragen, in welchem Verhältnis Probleme und Sprachen stehen. Wir wissen, dass die Menge aller Sprachen unzählig ist. Sind die Probleme auch unzählig? Kann jedes Problem durch eine Sprache definiert werden? Kann eine Sprache mehr als ein Problem lösen und umgekehrt? Gibt es eine Eins-zu-Eins-Entsprechung zwischen Problem und …

8 formal-languages

2

Wie kann ein zyklisches Tag-System mit einer Ausgabe anhalten?

Zum Beispiel können wir sagen, dass wir ein abstraktes Programm haben, das bei einer endlichen binären Zeichenfolge als Eingabe alle Nullen entfernt (dh 0010001101011 ergibt 111111), was definitiv eine Turing-berechenbare Funktion ist. Wie kann ein zyklisches Tag-System dies berechnen (was es per Definition als Turing-vollständig definieren kann), wenn es nur …

8 computability turing-machines

2

Aufgabe, die Formel unbefriedigend zu machen

Lässt sich vorstellen , wir eine erfüllbare Formel Das Problem „zu lösen , ist Gibt es eine Zuweisung für Variablen ( S 0 , . . . , S n ) was macht F unbefriedigend? ". Eine Möglichkeit zum Lösen besteht darin, alle Lösungen für F in Form von Variablen …

8 logic satisfiability sat-solvers

2

Reale Anwendungen für Steiner Tree Problem?

Gibt es reale Anwendungen des Steiner Tree Problems (STP)? Ich verstehe, dass das VSLI-Chipdesign eine gute Anwendung des STP ist. Gibt es andere Beispiele für Probleme in der realen Welt, von denen die Leute vermuten können, dass sie im Sinne des STP formuliert werden könnten? Hintergrund: Ich beginne meine Doktorarbeit …

8 graph-theory reference-request optimization combinatorics applied-theory

1

Gibt es einen kontinuierlichen Hash?

Fragen: Kann es einen (kryptografisch sicheren) Hash geben, der die Informationstopologie von ?{0,1}∗{0,1}∗\{0,1\}^{*} Können wir eine effizient berechenbare Nähe Prädikat , das weitergegeben wurden und (oder selbst) sagt uns , wenn ist sehr nahe an (zB die Levenshtein - Distanz oder Hamming - Distanz von und kleiner als ein fester …

8 complexity-theory cryptography hash string-metrics topology

2

Minimieren Sie deterministische endliche Automaten ohne akzeptierende Zustände

Ich habe einen endlichen Automaten ohne endgültige / akzeptierende Zustände, also ist F leer. Wie minimiere ich es? Ich habe dies bei einem Test erhalten und wusste nicht, wie ich das Problem angehen sollte, da der Automat keine akzeptierenden Zustände hatte. Ist ein einzelner Ausgangszustand mit allen Übergängen in sich …

8 automata finite-automata

1

Definition des PAC-Lernmodells

Das wahrscheinlich ungefähr korrekte (PAC) Lernmodell ist definiert als: Eine Konzeptklasse gilt als PAC-lernbar, wenn ein Algorithmus und eine Polynomfunktion so dass für alle ε> 0 und δ> 0 für alle Verteilungen D auf X und gilt Für jedes Zielkonzept c∈C gilt für jede Stichprobengröße m≥poly (1 / ε, 1 …

8 machine-learning

2

Ein Median einer AVL. Wie kann ich die AVL nutzen?

Hier ist die Quelle meiner Frage. Codieren Sie bei einem selbstausgleichenden Baum (AVL) eine Methode, die den Median zurückgibt. (Median: Der numerische Wert, der die obere Hälfte einer Datenprobe von der unteren Hälfte trennt. Beispiel: Wenn die Reihe ist 2, 7, 4, 9, 1, 5, 8, 3, 6 dann ist …

8 data-structures search-trees selection-problem balanced-search-trees

2

Maximieren Sie den Abstand zwischen k Knoten in einem Diagramm

Ich habe einen ungerichteten ungewichteten Graphen und möchte Knoten aus so auswählen, dass sie in Bezug auf die geodätische Entfernung paarweise so weit wie möglich voneinander entfernt sind . Mit anderen Worten, sie müssen so weit wie möglich im Diagramm verteilt sein.k G.GGGkkkGGG Lassen ist die Länge eines kürzesten Weg …

8 algorithms graph-theory graphs