Ich untersuche verschiedene Ansätze zur Definition von Berechnungen mit kontinuierlichen dynamischen Systemen. Ich habe versucht, eine schöne Einführung in die Theorie der "staatlichen Übergangssysteme" zu finden, habe dies aber nicht getan. Kennt jemand eine moderne Einführung in das Thema? Von...
Ich mache eine Abschlussarbeit über den Nachweis der Richtigkeit des Programms zum Multiplizieren von 2 Matrizen mit Hoare-Logik. Dazu muss ich die Invariante für die verschachtelte Schleife für dieses Programm generieren: for i = 1:n for j = 1:n for k = 1:n C(i,j) = A(i,k)*B(k,j) + C(i,j); end end...
Ich überprüfe derzeit die Potenziale von Cloud Computing in Bezug auf Energieeffizienz und grüne IT. Im Zusammenhang mit dieser Überprüfung beschäftige ich mich mit Techniken zur Steigerung der Energieeffizienz in Rechenzentren (Computer), Hardware, Netzwerken und Speichergeräten. Speziell für...
Viele Gebiete der Welt leiden unter Konflikten zwischen zwei Gruppen (normalerweise ethnisch oder religiös). Für diese Frage gehe ich davon aus, dass die meisten Menschen beider Seiten in Frieden leben wollen, aber es gibt nur wenige Extremisten, die Hass und Gewalt auslösen. Ziel dieser Frage ist...
Da das neue Semester bald beginnt, interessiere ich mich für Forschung in Bezug auf das Unterrichten von Einführungskursen in die Programmierung. Ich möchte meinen Universitätskurs verbessern und suche wissenschaftliche Arbeiten zu diesem Thema. Ein Trend, den ich gesehen habe, ist, dass einige...
Die meisten klassischen Beispiele für dynamische Programmieralgorithmen haben Laufzeiten wie oder . Gibt es natürliche Beispiele mit einer Laufzeit von ?nnnn2n2n^2O(nlogn)O(nlogn)O(n \log
Ich habe Google Scholar nach Referenzen durchsucht und die erste Erwähnung auf irgendwo um 1963 mit einem sehr seltsamen Jitter im Jahr 1949 eingegrenzt. Ich versuche also, das Originalpapier aufzuspüren, in dem Intervalldiagramme zum Zitieren eingeführt werden, aber es war bisher ziemlich schwer...
Wenn ich ein Diagramm bekomme, das einen Baum bildet, bin ich daran interessiert, einen Scheitelpunkt zu finden, der den Mindestabstand zu einem Blatt maximiert. Ich bin sicher, dass dieses Problem bereits untersucht wurde. Kennt jemand den Namen dieses Problems oder einen Algorithmus zur...
Für meine Diplomarbeit habe ich einen Entwicklungsansatz erstellt (bestehend aus Schemata, einer Anwendungsvorlage und Prototypcode), der die Entwicklung und Anpassung von Anwendungen für eine bestimmte Plattform erleichtern soll. Ich habe Interviews mit Entwicklern dieser Plattform geführt, um...
Für meine Bachelorarbeit betrachte ich die Klasse von Sprachen, die von symmetrischen DFAs erkannt werden, dh deterministische (vollständige) endliche Automaten, die die folgende Bedingung erfüllen: Sei ein vollständiger DFA über dem Alphabet . Wenn es für jedes a \ in \ Sigma und jeden Übergang u...
An verschiedenen Stellen ( http://www.ams.org/journals/mcom/2004-73-246/S0025-5718-03-01539-4/S0025-5718-03-01539-4.pdf und https:
3-PARTITION ist stark NP-vollständig , dh es bleibt NP-vollständig, selbst wenn die Eingabe unär ist . Ich suche zwei oder drei Beispiele für (möglicherweise bekannte) nicht numerische Probleme , die sich mit einer Reduktion von 3-PARTITION als NP-vollständig erwiesen haben (und die Reduktion...
Ich habe hier gehört dass das Hamilton-Zyklus-Problem auf Graphen mit begrenzter Baumbreite polynomisch ist. Ich interessiere mich für Beispiele / Verweise auf verschiedene Probleme, die im Wesentlichen schwierig sind, aber eine polynomielle Komplexität auf Graphen mit begrenzter Baumbreite...
Ich bin ziemlich verwirrt über die genaue Beziehung zwischen der Erweiterung eines Graphen und seiner Leitfähigkeit. Meine erste Frage ist: Könnte mich jemand auf eine Referenz verweisen, die diese beiden Begriffe behandelt? (Ich habe verschiedene Vorlesungsunterlagen zu verwandten Themen gefunden,...
Geschlossen . Diese Frage muss fokussierter sein . Derzeit werden keine Antworten akzeptiert. Möchten Sie diese Frage verbessern? Aktualisieren Sie die Frage so, dass sie sich nur auf ein Problem konzentriert, indem Sie diesen Beitrag bearbeiten . Geschlossen vor 5 Jahren . Welche...
Ein Graph wird als verbunden bezeichnet, wenn er keine Vertex-Schnittsätze hat (dh, mindestens drei Vertices müssen gelöscht werden, um den Graph zu trennen). Soweit ich weiß, ist es möglich festzustellen, ob ein einfacher Graph in O (n) -Zeit verbunden ist (Beispiel:
Meine Bäume sind verwurzelt und haben höchstens zwei Kinder an jedem Scheitelpunkt. Ich benötige Referenzen, die mir bei der Lösung einiger oder aller der folgenden Fragen helfen: Wie viele Isomorphismusklassen von Bäumen mit n Eckpunkten gibt es? Was sind die klassischen Algorithmen, um zu...
Hat es jemand geschafft, ein Typsystem zu implementieren oder zu entwerfen, das sowohl Typstatus (lineare Typen) als auch Effekttypen (z. B. Koka ) kombiniert
Ich habe über ein Problem nachgedacht, das durch das Treffen mit einem Fremdsprachenprofessor für Anfänger am Goethe-Institut inspiriert wurde, der die fünf häufigsten Sprachen gelernt hat, die von Studenten gesprochen werden, um mit so vielen Studenten wie möglich zu kommunizieren. Stellen Sie...
Für mein Science-Fair-Projekt habe ich eine Optimierung der Sortierroutine von Python implementiert . Die Idee ist, die Sicherheitsüberprüfungen, die bei jedem Vergleich durchgeführt werden müssen, z. B. Typprüfungen und Zeichenbreitenprüfungen, außerhalb der Sortierschleife zu verschieben und sie...