Als «algorithms» getaggte Fragen

Ein Algorithmus ist eine Folge genau definierter Schritte, die eine abstrakte Lösung für ein Problem definieren. Verwenden Sie dieses Tag, wenn Ihr Problem mit dem Entwurf und der Analyse von Algorithmen zusammenhängt.

1
Problem beim Entspannen des Behälters
Das Problem, das ich habe, ist wie dieses Problem beim Verpacken von Behältern, aber stattdessen habe ich Behälter und eine Sammlung von Gegenständen mit diskreten Massen. Ich muss mindestens kg Zeug in jeden Behälter geben.nnnmmm Gibt es eine effiziente Möglichkeit, dies zu tun? Gibt es eine Möglichkeit, um sicherzustellen, dass …
1
Ein Verfahren zur topologischen Sortierung, ein Beweis für seine Richtigkeit
Definition: Eine erhaltene Invariante einer Zustandsmaschine ist ein Prädikat für Zustände, so dass wann immerPPPP.(q)P(q)P(q) ist wahr für einen Staat, qqq, und q→rq→rq \rightarrow r für einen Staat, rrr, dann P.(r)P(r)P(r) hält. Definition: Ein Liniendiagramm ist ein Diagramm, dessen Kanten sich alle auf einem Pfad befinden. Definition: Formal ist eine …
1
Algorithmen zur Graphengenerierung unter Verwendung vorgegebener Eigenschaften
Es kann eine große Anzahl von Algorithmen vorgeschlagen werden, um Graphen zu erzeugen, die einige gemeinsame Eigenschaften erfüllen (z. B. Clusterkoeffizient, durchschnittliche kürzeste Weglänge, Gradverteilung usw.). Meine Frage betrifft einen bestimmten Fall: Ich möchte einige ungerichtete reguläre Diagramme (dh jeder Knoten in diesen Diagrammen hat die gleiche Anzahl von Nachbarn) …
2
Berechnen Sie die relationale Zusammensetzung in
Definitionen: Sei eine DAG ohne Selbstschleifen, und und sind Graphen.G=(V,E)G=(V,E)G=(V,E)X⊆GX⊆GX \subseteq GY⊆GY⊆GY \subseteq G Input: . Ausgabe: Die relationale Zusammensetzung relationale Zusammensetzung in .X,YX,YX,Y X∘YX∘YX \circ YO(|E||V|)O(|E||V|)\mathcal{O}(|E||V|) Fall 1:. Zwei for-Schleifen über und : Runtime .|E|≤|V||E|≤|V||E| \le |V|E(X)E(X)E(X)E(Y)E(Y)E(Y)≤O(|E|2)≤O(|E||V|)≤O(|E|2)≤O(|E||V|) \le \mathcal{O}(|E|^2) \le \mathcal{O}(|E||V|) Fall 2:|V|≤|E||V|≤|E||V| \le |E| Zeichnen Sie den Graphen …
1
Können abstrakte Syntaxbäume in subexponentieller Zeit nicht analysiert werden?
Abstrakte Problembeschreibung So wie ich es sehe, bedeutet Unparsing, einen Token-Stream aus einem AST zu erstellen, der beim erneuten Parsen einen gleichen AST erzeugt, dh parse(unparse(AST)) = ASThalten sollte. Dies entspricht dem Auffinden eines gültigen Analysebaums, der denselben AST erzeugen würde. Die Sprache wird durch eine kontextfreie S-zugeschriebene Grammatik unter …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.