Ich habe noch eine bessere Möglichkeit gefunden, minisat auch unter Windows aufzurufen. Es handelt sich um eine vereinfachte Variante vom oben geposteten Link:
code:
1:
2:
3:
4:
5:
6:
7:
Process p = Runtime.getRuntime().exec("minisat \""+infile+"\" \""+outfile+"\"");
InputStreamReader isr = new InputStreamReader(p.getInputStream());
BufferedReader br = new BufferedReader(isr);
String line=null;
while((line = br.readLine()) != null);
p.waitFor();
"li" ist ein Pseudobefehl, d.h. er wird vom Assembler durch "richtige" Befehle ersetzt. Der Prozessor selbst versteht keine Pseudobefehle, sie dienen der Vereinfachnung der Programmierung. Normalerweise darf man in der Klausur Pseudobefehle verwenden (sofern nichts anderes gefordert ist).
Das geht einfacher, ohne dass man so kompliziert rechnen muss. Man berechnet -7 als 16Bit-Zweierkomplement und schreibt das Ergebnis dann in Hex. Das sind dann die oberen 16 Bit vom Ergebnis, die restlichen 16 Bit sind Nullen:
auf der Mailingliste wurde am 24.10. folgendes gepostet:
Zitat:
Hallo!
Die SWT-Tutorien finden 14-tägig, jeweils in der Woche *nach *der Abgabe
des Übungsblatts statt. Die Anmeldelisten werden, wie bereits in der
Vorlesung angekündigt, von Do, den 30.10.2008 13:00 Uhr bis Do, den
06.11.2008 11:00 Uhr vor dem Sekretariat Tichy (Geb. 50.34, 3. OG)
aushängen.
Zur Auswahl stehen die folgenden Termine (alle Raumangaben beziehen sich
auf Gebäude 50.34):
Montag (erster Termin: 10.11.)
08.00 -- 09.30 Uhr, SR 236
15.45 -- 17.15 Uhr, SR -120
Dienstag (erster Termin: 11.11.)
08.00 -- 09.30 Uhr, SR -118
09.45 -- 11.15 Uhr, SR -120
15.45 -- 17.15 Uhr, SR -120
Anscheinend ist in Algoritmentechnik die Nachklausur noch in den gleichen Semesterferien, in den anderen Wahlpflichtfächern aber erst ein Semester später.
Der Stoß ist elastisch, d.h. es geht keine Energie verloren. Deshalb prallt der Stein vom Korb ab (mit fast der gleichen Geschwindigkeit, mit der er sich vorher auf den Korb zubewegt hat). Deshalb hatte der Stein vorher den Impuls und hat hinterher den Impuls (jeweils relativ zum Korb). Die Differenz der Impulse ist und das ist genau der Impuls, der auf den Korb übertragen wird.
Man kann zur Menge ein weiteres Element hinzufügen. Dieses Element muss 4mal so schwer sein, wie die Originalmenge insgesamt war. Damit müsste es klappen, weil keine neuen Lösungen entstehen können, da das neue Element zu schwer ist, um in der 1/10 großen Menge vorzukommen.
Die Klausur vom Frühjahr 2007 hat mal irgendjemand abfotografiert. Leider ist die Qualität nicht so toll, aber man kann es einigermaßen erkennen. Ich habe die Fotos hier hochgeladen:
