Computerwissenschaften

Fragen und Antworten für Studenten, Forscher und Informatiker

2
Was ist eine Datei?
Ich suche nach einer formalen Definition einer Datei, die nicht nur Speicher enthält, sondern auch Abstraktionen wie procfs oder / dev / null (oder eine auf Sicherungen basierende Datei), die sich nicht auf Speicher beziehen. Bisher weiß ich, dass alle Dateien Abstraktionen sind, die kann identifiziert werden kann Namen haben …
2
Die Bedingungen für einen zweigeteilten Graphen müssen planar sein, ohne dass Kanten um die Eckpunkte verlaufen
Ein zweigeteilter Graph ist planar, wenn er keine oder K 5 Minderjährigen hat.K.3 , 3K3,3K_{3, 3}K.5K5K_5 Ich suche nach notwendigen oder / und ausreichenden Bedingungen, um planare Zeichnungen ohne Kanten zu ermöglichen, die Sätze von Eckpunkten "umrunden". Dies sind Zeichnungen, die Folgendes erfüllen: Alle Eckpunkte eines Teils werden auf einer …
1
Können wir k kürzeste Wege zwischen allen Paaren schneller finden, als das paarweise Problem wiederholt zu lösen?
Ich möchte kürzesten Weg ( k wäre kleiner als 10) zwischen allen Paaren in einem Graphen erzeugen . Die Grafik ist (eigentlich eine U-Bahn-Karte):kkkkkk positiv gewichtet ungerichtet spärlich mit etwa 100 Knoten Mein aktueller Plan ist es, kürzestes Routingkkk auf jedes Paar anzuwenden ; Ich suche jetzt nach einer effizienteren …
2
Effiziente Berechnung der kleinsten Ganzzahl mit n Teilern
Um dieses Problem anzugehen, habe ich das zuerst beobachtet ϕ(pe11 pe22⋯ pekk)=(e1+1)(e2+1)⋯(ek+1)ϕ(p1e1 p2e2⋯ pkek)=(e1+1)(e2+1)⋯(ek+1)\phi(p_1^{e_1} \space p_2^{e_2} \cdots \space p_k^{e_k}) = (e_1 + 1)(e_2 + 1)\cdots(e_k +1) Wobei die Anzahl der (nicht unbedingt primären) Teiler von . Wenn die kleinste ganze Zahl ist, so dass , dannϕ(m)ϕ(m)\phi(m)mmmmmmϕ(m)=nϕ(m)=n\phi(m) = n ϕ(m)=nϕ(m)=n\phi(m) = …
3
Warum bleibt der Zustand in der kleinen operativen Semantik einer while-Schleife unverändert?
Normalerweise sehe ich, dass sich in der strukturellen Darstellung der operativen Semantik für die while-Schleife der Programmstatus nicht ändert: (whileBdoS,σ)→(ifBthenS;(whileBdoS)elseSKIP,σ)(whileBdoS,σ)→(ifBthenS;(whileBdoS)elseSKIP,σ)(while \> B \> do \>S, \sigma) \rightarrow (if \>B \> then \>S; (while \> B \> do \>S) \> else \> SKIP, \sigma) Für mich ist dies nicht intuitiv. Wenn …
1
Einzigartige Triangulations-Duale einfacher Polygone
Bei einer Triangulation (ohne Steiner-Punkte) eines einfachen Polygons kann man das Dual dieser Triangulation betrachten, das wie folgt definiert ist. Wir erstellen einen Scheitelpunkt für jedes Dreieck in unserer Triangulation und verbinden zwei Scheitelpunkte, wenn sich die entsprechenden Dreiecke eine Kante teilen. Es ist bekannt, dass der duale Graph ein …
1
Bilden müllfreie Spaghetti-Stapel bei Verwendung als Call-Stack eine DAG?
Ich beschäftige mich mit Implementierungstechniken für Programmiersprachen und bin kürzlich auf Spaghetti-Stacks gestoßen, die angeblich gut für ein Continuation-Passing-Style-Modell geeignet sind (aufgrund ihrer Verwendung in z. B. Scheme und SML / NJ ). Betrachten wir der Einfachheit halber nur einen Single-Thread-Prozess für diese Frage. Ich bin jedoch etwas verwirrt über …
3
Konstruktive Version der Entscheidbarkeit?
Heute beim Mittagessen habe ich dieses Problem mit meinen Kollegen angesprochen , und zu meiner Überraschung hat Jeff E's Argument, dass das Problem entscheidbar ist, sie nicht überzeugt ( hier ist ein eng verwandter Beitrag zu mathoverflow). Eine Problemerklärung, die einfacher zu erklären ist ("ist P = NP?"), Ist ebenfalls …
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.