Als «terminology» getaggte Fragen

Wenn Sie dynamische Programmierung umbenennen könnten, wie würden Sie es

Fragen Sie sogar jemanden mit einem Hintergrund in der Informatik, was ein regulärer Ausdruck ist, und die Antwort geht wahrscheinlich über die Beschränkung hinaus, in Reichweite eines Automaten mit endlichen Zuständen zu sein. Zum Beispiel der "reguläre Ausdruck" /^1?$|^(11+?)\1+$/ Erstellt von...

In einigen kürzlich gestellten Fragen ( q1 q2 ) wurde "Theorie A" gegen "Theorie B" diskutiert, um die Kluft zwischen dem Studium von Logik und Programmiersprachen und dem Studium von Algorithmen und Komplexität zu erfassen. Diese Terminologie war für mich neu, und bei einer schnellen Websuche...

Traut sich jemand zu klären, in welchem ​​Verhältnis diese Fachrichtungen zueinander stehen, oder gibt er vielleicht auf der Ebene der Probleme eine konkretere Antwort? Wie welche beinhaltet welche unter der Annahme einiger weithin akzeptierter Formulierungen. Wenn ich das richtig verstanden habe,...

Da es bei Lambda the Ultimate keine Antwort gab, versuche ich es hier noch einmal: Term Rewriting-Systeme werden beispielsweise in automatisierten Theoremen verwendet, um eine symbolische Berechnung zu beweisen und natürlich formale Grammatiken zu definieren. Es gibt einige Programmiersprachen, die...

Gibt es in CS Probleme, bei denen keine effizienten Algorithmen bekannt sind, obwohl es Theoreme gibt, die beweisen, dass solche effizienten Algorithmen existieren müssen? Wie heißen diese Probleme? Wo kann ich mehr

Entschuldigung, wenn dies eine naive Frage ist, aber ich konnte die Rechtfertigung in keinem der Hauptlehrbücher wie Bondy-Murty, Diestel oder West finden. Perfekte Grafiken haben viele schöne Eigenschaften, aber was ist der einzige Grund, warum sie als perfekt bezeichnet werden? Oder ist es nur...

Nehmen Sie einen gerichteten Graphen bei dem die Kanten mit einer natürlichen Zahl verziert sind. Wir wollen die Menge aller Pfade P zwischen zwei Eckpunkten v 1 und v 2 so, dass jede aufeinanderfolgende Kante im Pfad mit einer natürlichen Zahl verziert wird, die größer ist als die natürliche Zahl,...

Eines der erstaunlichen Dinge in der Informatik ist, dass die physikalische Implementierung in gewisser Weise "irrelevant" ist. Die Menschen haben erfolgreich Computer aus mehreren unterschiedlichen Substraten gebaut - Relais, Vakuumröhren, diskrete Transistoren usw. Die Menschen könnten bald...

Bei dieser Frage geht es um Aussagenlogik, und alle Vorkommen von "Auflösung" sollten als "Aussagenauflösung" gelesen werden. Diese Frage ist etwas sehr Grundlegendes, aber sie hat mich eine Weile beschäftigt. Ich sehe Leute, die behaupten, dass die Auflösung der Aussagen vollständig ist, aber ich...

Die längste Zeit habe ich gedacht, dass ein Problem NP-vollständig ist, wenn es sowohl (1) NP-schwer als auch (2) NP ist. In der berühmten Veröffentlichung "Die Ellipsoidmethode und ihre Konsequenzen für die kombinatorische Optimierung" behaupten die Autoren jedoch, dass das Problem der...

Lemma: Unter der Annahme einer Eta-Äquivalenz haben wir das (\x -> ⊥) = ⊥ :: A -> B. Beweis: ⊥ = (\x -> ⊥ x)durch Eta-Äquivalenz und (\x -> ⊥ x) = (\x -> ⊥)durch Reduktion unter dem Lambda. Der Haskell 2010-Bericht, Abschnitt 6.2, spezifiziert die seqFunktion durch zwei Gleichungen:...

Wir sagen , daß eine Funktion f:N→Nf:N→Nf:\mathbb{N}\rightarrow\mathbb{N} ist zeit konstruierbar , wenn es ein deterministisches Mehrbandturingmaschine existiert MMM daß an allen Eingängen der Länge nnn Fabrikate höchstens f(n)f(n)f(n) Schritte und für jeden nnn dort eine Eingabe besteht aus Länge...

Diese Frage ist möglicherweise nicht technisch. Als Nicht-Muttersprachler und TA für die Algorithmusklasse habe ich mich immer gefragt, was Gadget in "Klausel-Gadget" oder "Variablen-Gadget" bedeutet. Das Wörterbuch besagt, dass ein Gadget eine Maschine oder ein Gerät ist, aber ich bin mir nicht...

Die einzige mir bekannte Definition von "Kalkül" ist das Studium von Grenzen, Ableitungen, Integralen usw. in der Analyse. Inwiefern ist Lambda-Kalkül (oder Dinge wie Mu-Kalkül) ein "Kalkül"? In welcher Beziehung steht es zur Analysis in der

Ich höre gerade Alan Kays 'Vortrag "Ist es wirklich komplex oder haben wir es nur kompliziert gemacht?" ( https://www.youtube.com/watch?v=ubaX1Smg6pY&= ) wo er sagt, dass "Semaphoren eine schlechte Idee waren und es eine sogenannte Pseudozeit gab, die überlegen war" (um 51:40 im verlinkten...

Ich frage mich, ob das folgende Problem einen Namen hat oder irgendwelche damit verbundenen Ergebnisse. Sei G=(V,w)G=(V,w)G = (V,w) ein gewichteter Graph, wobei das Gewicht der Kante zwischen und bezeichnet und für alle , . Das Problem besteht darin, eine Teilmenge von Eckpunkten zu finden, die die...

Wir alle wissen, dass die minimale Komplexität eines vergleichsbasierten Sortieralgorithmus Vergleiche sind. Ich versuche eine blinde Sortierung durchzuführen, dh wenn eine Zahl einen Schaltkreis (mit booleschen, arithmetischen und "Vergleichs" -Gattern) ausgibt, der eine Liste von Elementen...

Ein farbiger Graph kann als Tupel wobei ein Graph ist und die Färbung ist. Zwei farbige Graphen und gelten als isomorph, wenn ein Isomorphismus vorliegt, so dass die Färbung eingehalten wird, dh für alle .(G,c)(G,c)(G,c)GGGc:V(G)→Nc:V(G)→Nc : V(G) \rightarrow

Ich hoffe, ich bin an der richtigen Stelle ... es ist (wahrscheinlich) eine ziemlich einfache Frage zur Logikprogrammierung. Wenn ich zwei Klauseln des Formulars habe: B:-A C:-A Ich kann diese umwandeln in: B,C:-A ( Bearbeiten: Wo B,Cist eine Konjunktion? Ich mache eine Bottom-up-Bewertung und es...