[simage=69,160,n,left,]Die Bilder von unserer Hochzeit am 22. Mai 2010 sind jetzt auf dieser Seite verfügbar. Darunter die Bilder vom Foto-Shooting im Botanischen Garten, die Bilder vom vor dem Standesamt in Friedberg und die Bilder der Trauungsfeier in Stadtbergen. Auch haben wir es uns nicht nehmen lassen, etwas bewegtes Bildmaterial von der Hochzeit mit einzubringen.
Kategorie: Allgemein
Es sieht so aus, als wäre eines der wichtigsten noch offenen Rätsel der Informatik gelöst worden. Vinay Deolalikar von den HP Reseach Labs scheint jetzt endlich bewiesen zu haben, dass die Komplexitätsklasse P ungleich der Komplexitätsklase NP ist. Die Lösung dieses Millennium-Problems ist mit 1 Million Dollar dotiert und behandelt im wesentlichen die Fragestellung „Wenn es für ein Problem einen einfachen Weg gibt, eine Lösung zu verifizieren, gibt es dann auch eine einfache Lösung?“. Mit P ≠ NP ist jetzt endlich der Beweis für die bislang allgemeine Annahme, dass dies nicht so ist, erbracht.
Ein Beispiel für ein solches Problem ist das Problem des Handlungsreisenden (Traveling Salesman Problem), bei dem es darum geht, eine bestimmte Anzahl von Städten so zu besuchen, dass ein möglichst kurzer Weg zurückgelegt wird, jedoch keine Stadt mehrmals besucht wird.
Leider wurde der Beweis relativ kurze Zeit später widerlegt.
Weiterführende Links:
Um die x64-Libs von boost zu erzeugen muss man folgendes im boost Verzeichnis aufrufen:
bjam --toolset=msvc --address-model=64 --stagedir=stage64 stage
Zusätzliche Parameter
-jXum das Erstellen mit X Prozessen parallel zu starten--build-type=completebaut alle libs (static, shared, mutithreaded,…)--with-serializationbaut nur die serialization Bibliotheken
Serialization weigert sich in 1.36.0 allerdings (in 1.40 gibt’s dieses Problem nicht mehr). Hierzu ist in der libs/serialization/build/Jamfile.v2 folgende Ersetzung vorzunehmen:
: requirements
in
: requirements
sowie
bjam gibt’s hier: http://www.boost.org/users/download/
Danach sollten ein paar libs in stage64/lib liegen.
Ich habe meinen Webspaceprovider gewechselt. Dabei bin ich gleich von REDAXO auf WordPress umgestiegen, da dies eher meinem Verhalten entspricht. REDAXO ist meiner Meinung nach trotzdem ein leider viel zu unbekanntes aber dennoch einfach zu bedienendes und trotzdem sehr professionelles Content-Management-System.
Bis ich alle alten Inhalte hier wieder aufgebaut habe, wird es allerdings noch eine Weile dauern.