An agile journey and beyond

Kategorie: Allgemein

„P ≠ NP“ gelöst

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:

boost x64 Bibliotheken erzeugen

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

  • -jX um das Erstellen mit X Prozessen parallel zu starten
  • --build-type=complete baut alle libs (static, shared, mutithreaded,…)
  • --with-serialization baut 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 ../../config/test/all//BOOST_NO_STD_LOCALE

in

: requirements

sowie
../../config/test/all//BOOST_NO_STD_WSTREAMBUF am Ende der Datei auskommentieren (‚#‘).

bjam gibt’s hier: http://www.boost.org/users/download/

Danach sollten ein paar libs in stage64/lib liegen.

Erfolgreich umgezogen!

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.