Gibt es eine Möglichkeit, die Größe einer maximalen Übereinstimmung in einem ungewichteten zweigeteilten Diagramm effizienter (z. B. schneller) zu berechnen als die Berechnung einer maximalen Übereinstimmung? Es ist ein langer Weg, aber es ist oft ein interessantes Problem, solche...
Ich besuche derzeit den gleichzeitigen Programmierkurs an meiner Universität und wir haben kürzlich begonnen, über das Konzept eines Monitors zu sprechen. Obwohl ich die Notwendigkeit des gegenseitigen Ausschlusses verstehe, verstehe ich nicht, warum ich dafür einen Monitor verwenden würde. So wie...
Geschlossen . Diese Frage basiert auf Meinungen . Derzeit werden keine Antworten akzeptiert. Möchten Sie diese Frage verbessern? Aktualisieren Sie die Frage, damit sie durch Bearbeiten dieses Beitrags mit Fakten und Zitaten beantwortet werden kann . Geschlossen vor 4 Jahren . Ich bin ein Trottel...
Der Complexity Zoo definiert als die Klasse von Entscheidungsproblemen, die von einer deterministischen Turing-Maschine in linearer Zeit gelöst werden können.L ichN.LINLIN L ichN.⊆ P.LIN⊆PLIN \subseteq P Da HORN-SAT in lösbar ist (wie in linearen Zeitalgorithmen zum Testen der Erfüllbarkeit von...
Ich habe mich gefragt, warum das Band / die Bänder nicht Teil der formalen Definition einer Turingmaschine sind. Betrachten Sie zum Beispiel die formale Definition einer Turing-Maschine auf der Wikipedia-Seite . Die Definition nach Hopcroft und Ullman, beinhaltet: die endliche Menge von Zuständen ,...
Ich versuche, ein Gesamtbild über die Bedeutung des kleinsten Fixpunkts (lfp) in der Programmanalyse zu erhalten. Zum Beispiel scheint die abstrakte Interpretation die Existenz von lfp zu nutzen. Viele Forschungsarbeiten zur Programmanalyse konzentrieren sich auch stark darauf, den am wenigsten...
Bei Problemen mit der Einschränkungszufriedenheit können Heuristiken verwendet werden, um die Leistung eines Bactracking-Lösers zu verbessern. Drei häufig verwendete Heuristiken für einfache Backtracking-Löser sind: Minimal verbleibende Werte (wie viele Werte sind für diese Variable noch gültig)...
Grundsätzlich ist das Problem: Finden Sie für eine Menge SSS positiver Zahlen eine minimale Zahl ddd , die kein Teiler eines Elements von SSS , dh ∀x∈S, d∤x∀x∈S, d∤x\forall x \in S,\ d \nmid x . Bezeichne n=|S|n=|S|n = |S|und C=max(S)C=max(S)C = \max(S) . Betrachten Sie die Funktion F(x)=F(x)=F(x)...
In der Testrunde zum Google Hash Code 2015 ( Problemstellung ) wurde nach folgendem Problem gefragt: Eingabe: ein Gitter mit einigen markierten Quadraten, eine Schwelle T ∈ N , eine maximale Fläche A ∈ N.M.M.MT.∈ N.T.∈N.T \in \mathbb{N}A ∈ N.EIN∈N.A \in \mathbb{N} Ausgabe: Die größtmögliche...
Beim Versuch, die Beziehungen zwischen Huffman-Codierung, arithmetischer Codierung und Bereichscodierung zu verstehen, begann ich über die Mängel der Huffman-Codierung nachzudenken, die mit dem Problem der fraktionierten Bitpackung zusammenhängen . Angenommen, Sie haben 240 mögliche Werte für ein...
Angesichts einer Teilmenge eines kartesischen Produkts aus zwei endlichen Mengen möchte ich eine minimale Abdeckung davon durch Mengen finden, die selbst kartesische Produkte sind.I×JI×JI \times J Wenn beispielsweise ein Produkt zwischen und J = { 1 , 2 , 3 } gegeben ist , kann ich die Teilmenge {...
Shors Algorithmus wird oft als Argument verwendet. Es kann das Faktorisierungsproblem schneller lösen als jeder bekannte Algorithmus für klassische Computer. Wir haben jedoch keinen Beweis dafür, dass klassische Computer Ganzzahlen nicht effizient berücksichtigen können. Gibt es tatsächlich Beweise...
Ich möchte die folgende Einschränkung in einem ganzzahligen linearen Programm ausdrücken: y= { 01wenn x = 0wenn x ≠ 0 ist.y={0if x=01if x≠0.y = \begin{cases} 0 &\text{if } x=0\\ 1 &\text{if } x\ne 0. \end{cases} Ich habe bereits die ganzzahligen Variablen und mir wird versprochen, dass . Wie kann...
Eine Antwort auf Programmers.SE kennzeichnet einen Aufsatz von Cook ( Objekte sind keine ADTs ) als Spruch Objekte verhalten sich eher wie eine charakteristische Funktion über die Werte eines Typs als wie eine Algebra. Objekte verwenden eher prozedurale Abstraktion als Typabstraktion ADTs haben...
Ich lese gerade eine Einführung in Algorithmen und komme von Johnsons Algorithmus, der davon abhängt, ob alle Pfade positiv sind. Das Algo hängt davon ab, eine neue Gewichtsfunktion (w ') zu finden, die für alle Kanten positiv ist und die Richtigkeit der Beziehungen der kürzesten Wege beibehält....
Ich kämpfe darum, den Zweck der universellen und existenziellen Quantifizierung von Typen zu verstehen. Ich spiele damit herum, eine Spielzeugsprache zu schreiben, die auf der Berechnung von Konstruktionen basiert . Ich habe über Morte und Henk gelesen , um ein besseres Verständnis zu erlangen. Ich...
Als lustiges Projekt habe ich an einer C # -Implementierung von Richard Korfs gearbeitet - Suche nach optimalen Lösungen für Rubiks Würfel mithilfe von Musterdatenbanken. https://www.cs.princeton.edu/courses/archive/fall06/cos402/papers/korfrubik.pdf Ich habe es tatsächlich zum Laufen gebracht, ich...
Der Titel sagt alles, aber ich bin neugierig, weil es nicht offensichtlich ist, wie ein Theorembeweiser zu 'Isabelle' wurde. Wurde es nach einer Person benannt? Ich konnte es bei einigen Google-Suchanfragen nicht
Gibt es eine einfache Möglichkeit zu erkennen, warum NP in EXPTIME ist? Es scheint mir a priori denkbar, dass es ein Problem geben könnte, dessen Lösung eine überexponentielle Zeit erfordert, dessen Lösung jedoch in Polynomzeit verifiziert werden
Warum können Hochsprachen scheinbar nie in Bezug auf die Geschwindigkeit Niedrigsprachen erreichen? Beispiele für Hochsprachen wären Python, Haskell und Java. Niedrigsprachige Sprachen wären schwieriger zu definieren, aber sagen wir C. Vergleiche finden sich überall im Internet und alle sind sich...