Hinzufügung von Batch scripts, sodass der pace2024tester in Windows verwendet...

Hinzufügung von Batch scripts, sodass der pace2024tester in Windows verwendet werden kann. Hinzufügung des archives, sowie Umstrukturieung der Tests, sodass Sie mit dem pace2024tester verwendet werden können.

src/README.md

@@ -7,5 +7,11 @@ xij = 1 bedeutet, dass π1(i) < π1(j) — Knoten i kommt vor Knoten j in der er
 yij = 1 bedeutet, dass π2(i) < π2(j) — Knoten i kommt vor Knoten j in der zweiten Permutation.
 
 main: logged nur das wesentliche
+
 backupmain: aktuelles backup
-foretesting: gleiches wie main, nur mit konsolen output, was nur für kleine graphen etwas bringt. 
+
\ No newline at end of file
+foretesting: gleiches wie main, nur mit konsolen output, was nur für kleine graphen etwas bringt. 
+
+solver.py: Funktion die 2 Argumente übernimmt, Inputgraph und Outputgraph. Wird für den pace2024tester genutzt. 
+
+solver.bat: Script für windwos, welches die solver.py mit den beiden Konsolen Inputs ausführt. 
\ No newline at end of file

src/archive/logfile.log

+2024-05-10 18:20:35,031 - INFO - Prozess f�r test_instances/0.gr gestartet
+2024-05-10 18:20:35,032 - INFO - Die Ausgabedatei wird solution_instances\0.sol sein
+2024-05-10 18:20:35,032 - INFO - Gr��en der Partitionen: A=3, B=3
+2024-05-10 18:20:35,033 - INFO - 3 Kanten geladen.
+2024-05-10 18:20:35,033 - INFO - x, y und c geladen.
+2024-05-10 18:20:35,033 - INFO - Zielfunktion aufgestellt.
+2024-05-10 18:20:35,034 - INFO - Crossing Constraints aufgestellt.
+2024-05-10 18:20:35,050 - INFO - Status der L�sung: Optimal
+2024-05-10 18:20:35,050 - INFO - Optimale L�sung gefunden. Ergebnisse werden gespeichert.
+2024-05-10 18:20:35,051 - INFO - Ergebnisse in solution_instances\0.sol gespeichert
+2024-05-10 18:20:35,052 - INFO - Crossings: 0, in solution_instances\0.cros gespeichert
+2024-05-10 18:20:35,052 - INFO - Verstrichene Zeit: 0:00:00.021 (h:m:s.ms) 
+
+2024-05-10 18:20:35,053 - INFO - Verarbeitung abgeschlossen f�r test_instances/0.gr
+2024-05-10 18:20:35,053 - INFO - Prozess f�r test_instances/1.gr gestartet
+2024-05-10 18:20:35,053 - INFO - Die Ausgabedatei wird solution_instances\1.sol sein
+2024-05-10 18:20:35,053 - INFO - Gr��en der Partitionen: A=780, B=743
+2024-05-10 18:20:35,055 - INFO - 1522 Kanten geladen.
+2024-05-10 18:20:37,375 - INFO - x, y und c geladen.
+2024-05-10 18:20:37,648 - INFO - Zielfunktion aufgestellt.
+2024-05-10 18:20:44,635 - INFO - Crossing Constraints aufgestellt.
+2024-05-10 18:51:32,831 - INFO - Status der L�sung: Optimal
+2024-05-10 18:51:32,832 - INFO - Optimale L�sung gefunden. Ergebnisse werden gespeichert.
+2024-05-10 18:51:32,990 - INFO - Ergebnisse in solution_instances\1.sol gespeichert
+2024-05-10 18:51:33,029 - INFO - Crossings: 1482, in solution_instances\1.cros gespeichert
+2024-05-10 18:51:33,030 - INFO - Verstrichene Zeit: 0:30:57.977 (h:m:s.ms) 
\ No newline at end of file

src/fortesting.py

@@ -174,10 +174,10 @@ def process_directory(directory_path):
             solve_bipartite_minimization(file_path)  # Rufe die Verarbeitungsfunktion für jede .gr Datei auf
             logging.info(f"Verarbeitung abgeschlossen für {file_path}")
 
-
+"""
 directory_path = 'githubtests/tiny_test_set/instances/'
 process_directory(directory_path)
-
-#test_file = 'githubtests/tiny_test_set/instances/complete_4_5.gr'
+"""
+test_file = 'githubtests/tiny_test_set/instances/complete_4_5.gr'
 #test_file = 'test_instances/0.gr'
-#solve_bipartite_minimization(test_file)
+solve_bipartite_minimization(test_file)

src/main.py

 import os
 import logging
+import time
+from datetime import datetime, timedelta
 from pulp import *
 # Erstellen eines Graphen zur Bestimmung der Knotenreihenfolge
 from collections import defaultdict, deque
 
-# Konfiguriere Logging
-logging.basicConfig(level=logging.INFO, format='%(asctime)s - %(levelname)s - %(message)s')
+
+# Erstelle einen FileHandler und einen StreamHandler
+file_handler = logging.FileHandler('logfile.log')
+console_handler = logging.StreamHandler()
+logging.basicConfig(level=logging.INFO, format='%(asctime)s - %(levelname)s - %(message)s', handlers=[file_handler, console_handler])
+
+def count_crossings_via_variables(c_vars):
+    crossings = 0
+    for c_var in c_vars.values():
+        if c_var.varValue == 1:
+            crossings += 1
+    return(crossings)
 
 def solve_bipartite_minimization(graph_file):
+    start_time = time()
     logging.info(f"Prozess für {graph_file} gestartet")
     # Extrahiere den Basisnamen der Eingabedatei
     base_name = os.path.basename(graph_file)
     new_base_name = base_name.replace('.gr', '.sol')
+    new_base_name1 = base_name.replace('.gr', '.cros')
     # Erstelle den Ausgabepfad
-    output_file = os.path.join('solution_instances', new_base_name)
+    output_file = os.path.join('mytests/solutions', new_base_name)
+    output_file1 = os.path.join('mytests/crossings', new_base_name1)
     logging.info(f"Die Ausgabedatei wird {output_file} sein")
 
     edges = []
@@ -37,18 +52,11 @@ def solve_bipartite_minimization(graph_file):
     y = {(i, j): LpVariable(f"y_{i}_{j}", 0, 1, cat='Binary') for i in range(n0 + 1, n0 + n1 + 1) for j in range(n0 + 1, n0 + n1 + 1) if i < j}
     c = {(i, j, k, l): LpVariable(f"c_{i}_{j}_{k}_{l}", 0, 1, cat='Binary') for (i, j) in edges for (k, l) in edges if i < j and k < l and i < k and j != l}
     logging.info("x, y und c geladen.")
-    """
-    # Crossing Variables
-    c = {}
-    for (i, j) in edges:
-        for (k, l) in edges:
-            if i < j and k < l and i < k and j != l:
-                c[(i, j, k, l)] = LpVariable(f"c_{i}_{j}_{k}_{l}", 0, 1, cat='Binary')
-    """
+
     # Zielfunktion, die minimiert werden soll
     prob += lpSum(c.values())
     logging.info("Zielfunktion aufgestellt.")
-    """
+
     edges.sort(key=lambda x: x[0])  # Sortieren der Kanten nach dem Startknoten
     for idx, (i, j) in enumerate(edges):
         for (k, l) in edges[idx + 1:]:
@@ -60,36 +68,10 @@ def solve_bipartite_minimization(graph_file):
                 elif l > j:
                     prob += c[(i, j, k, l)] == 1 - y[(j, l)]
     logging.info("Crossing Constraints aufgestellt.")
-    """
-    # Crossing Constraints basierend auf Kantenpaaren
-    for (i, j) in edges:
-        for (k, l) in edges:
-            if i < k:  # Nur Kantenpaare betrachten, wo i < k
-                if (i, j, k, l) not in c:
-                    c[(i, j, k, l)] = LpVariable(f"c_{i}_{j}_{k}_{l}", 0, 1, cat='Binary')
-
-                # Sicherstellen, dass nur gültige y-Variable-Zugriffe stattfinden
-                if j > l:
-                    prob += c[(i, j, k, l)] == y[(l, j)]  # Verwende .get() für sichere Zugriffe
-                if l > j:
-                    prob += c[(i, j, k, l)] == 1 - y[(j, l)]  # Verwende .get() für sichere Zugriffe
-    logging.info("Crossing Constraints aufgestellt.")
-    
-
 
     prob.solve()
     logging.info(f"Status der Lösung: {LpStatus[prob.status]}")
 
-    """
-    for key, var in x.items():
-        print(f"x[{key}] = {var.varValue}")
-
-    for key, var in y.items():
-        print(f"y[{key}] = {var.varValue}")
-
-    for key, var in c.items():
-        print(f"c[{key}] = {var.varValue}")
-    """
     if prob.status == LpStatusOptimal:
         logging.info("Optimale Lösung gefunden. Ergebnisse werden gespeichert.")
 
@@ -128,11 +110,34 @@ def solve_bipartite_minimization(graph_file):
         os.makedirs(os.path.dirname(output_file), exist_ok=True)
         with open(output_file, 'w') as f:
             for b in sorted_b:
-                f.write(f"{b}\n")
+                f.write(f"{b}\n")     
         logging.info(f"Ergebnisse in {output_file} gespeichert")
+        # Ausgabe der sortierten Knoten
+
+        a = count_crossings_via_variables(c)
+
+        os.makedirs(os.path.dirname(output_file1), exist_ok=True)
+        with open(output_file1, 'w') as f:
+            f.write(f"Crossings: {a}\n")     
+        logging.info(f"Crossings: {a}, in {output_file1} gespeichert")
+
+        end_time = time()
+        elapsed_time = end_time - start_time
+        elapsed_time_td = timedelta(seconds=elapsed_time)
+        formatted_time = str(elapsed_time_td)  # '0:00:01.234000' für das obige Beispiel
+        formatted_time = formatted_time[:-3] 
+        logging.info(f"Verstrichene Zeit: {formatted_time} (h:m:s.ms) \n")
     else:
         logging.warning("Keine optimale Lösung gefunden.")
 
+        end_time = time()
+        elapsed_time = end_time - start_time
+        elapsed_time_td = timedelta(seconds=elapsed_time)
+        formatted_time = str(elapsed_time_td)  # '0:00:01.234000' für das obige Beispiel
+        formatted_time = formatted_time[:-3] 
+        logging.info(f"Verstrichene Zeit: {formatted_time} (h:m:s.ms) \n")
+
+
 def process_directory(directory_path):
     # Durchlaufe alle Dateien im angegebenen Verzeichnis
     for filename in os.listdir(directory_path):
@@ -141,11 +146,13 @@ def process_directory(directory_path):
             solve_bipartite_minimization(file_path)  # Rufe die Verarbeitungsfunktion für jede .gr Datei auf
             logging.info(f"Verarbeitung abgeschlossen für {file_path}")
 
-"""
+
 directory_path = 'githubtests/tiny_test_set/instances/'
+#directory_path = 'mytests/instances/'
 process_directory(directory_path)
-"""
 
-#test_file = 'githubtests/tiny_test_set/instances/grid_9_shuffled.gr'
-test_file = 'test_instances/1.gr'
+"""
+test_file = 'githubtests/tiny_test_set/instances/complete_4_5.gr'
+#test_file = 'mytests/instances/2.gr'
 solve_bipartite_minimization(test_file)
+"""
\ No newline at end of file

src/solution_instances/0.sol → src/mytests/crossings/0.cros

-5
-4
-6
 Crossings: 0

src/mytests/crossings/1.cros

+Crossings: 1482

src/solution_instances/complete_4_5.sol → src/mytests/crossings/complete_4_5.cros

-9
-8
-7
-6
-5
 Crossings: 60

src/solution_instances/cycle_8_shuffled.sol → src/mytests/crossings/cycle_8_shuffled.cros

-6
-7
-8
-5
 Crossings: 4

src/solution_instances/cycle_8_sorted.sol → src/mytests/crossings/cycle_8_sorted.cros

-5
-7
-6
-8
 Crossings: 3

src/solution_instances/grid_9_shuffled.sol → src/mytests/crossings/grid_9_shuffled.cros

-8
-9
-7
-5
-6
 Crossings: 17

src/solution_instances/ladder_4_4_shuffled.sol → src/mytests/crossings/ladder_4_4_shuffled.cros

-6
-8
-5
-7
 Crossings: 11

src/solution_instances/ladder_4_4_sorted.sol → src/mytests/crossings/ladder_4_4_sorted.cros

-5
-8
-7
-6
 Crossings: 3

src/solution_instances/matching_4_4.sol → src/mytests/crossings/matching_4_4.cros

-7
-5
-6
-8
 Crossings: 0

src/solution_instances/path_9_shuffled.sol → src/mytests/crossings/path_9_shuffled.cros

-8
-6
-7
-9
 Crossings: 6

src/solution_instances/path_9_sorted.sol → src/mytests/crossings/path_9_sorted.cros

-7
-9
-6
-8
 Crossings: 0

src/solution_instances/star_6.sol → src/mytests/crossings/plane_5_6.cros

-3
-5
-7
-4
-6
-8
 Crossings: 0

src/mytests/crossings/star_6.cros

+Crossings: 0

src/mytests/crossings/tree_6_10.cros

+Crossings: 13

src/mytests/crossings/website_20.cros

+Crossings: 17