Update app.py

app.py

@@ -22,7 +22,7 @@ sidebar_option = st.sidebar.radio("Select an option",
                                   "Drawing: Simple Path", "Drawing: Spectral Embedding", "Drawing: Traveling Salesman Problem",
                                   "Drawing: Weighted Graph", "3D Drawing: Animations of 3D Rotation", "3D Drawing: Basic Matplotlib",
                                   "Graph: DAG - Topological Layout", "Graph: Erdos Renyi", "Graph: Karate Club", "Graph: Minimum Spanning Tree",
-                                  "Graph: Triads"])
+                                  "Graph: Triads", "Algorithms: Circuits"])
 
 # Helper function to draw and display graph
 def draw_graph(G, pos=None, title="Graph Visualization"):
@@ -30,6 +30,104 @@ def draw_graph(G, pos=None, title="Graph Visualization"):
     nx.draw(G, pos=pos, with_labels=True, node_color='lightblue', node_size=500, font_size=10, font_weight='bold')
     st.pyplot(plt)
 
+def algorithms_circuits():
+    st.title("Algorithms: Circuits")
+
+    # Option to choose between creating your own or using the default example
+    circuit_mode = st.radio(
+        "Choose a Mode:",
+        ("Default Example", "Create Your Own"),
+        help="The default example shows a predefined Boolean circuit, or you can create your own."
+    )
+
+    if circuit_mode == "Default Example":
+        # Define the default circuit
+        circuit = nx.DiGraph()
+        # Layer 0
+        circuit.add_node(0, label="∧", layer=0)
+        # Layer 1
+        circuit.add_node(1, label="∨", layer=1)
+        circuit.add_node(2, label="∨", layer=1)
+        circuit.add_edge(0, 1)
+        circuit.add_edge(0, 2)
+        # Layer 2
+        circuit.add_node(3, label="x", layer=2)
+        circuit.add_node(4, label="y", layer=2)
+        circuit.add_node(5, label="¬", layer=2)
+        circuit.add_edge(1, 3)
+        circuit.add_edge(1, 4)
+        circuit.add_edge(2, 4)
+        circuit.add_edge(2, 5)
+        # Layer 3
+        circuit.add_node(6, label="z", layer=3)
+        circuit.add_edge(5, 6)
+        # Convert the circuit to an equivalent formula.
+        formula = circuit_to_formula(circuit)
+        st.write("Formula: ", formula_to_string(formula))
+
+        labels = nx.get_node_attributes(circuit, "label")
+        options = {
+            "node_size": 600,
+            "alpha": 0.5,
+            "node_color": "blue",
+            "labels": labels,
+            "font_size": 22,
+        }
+        plt.figure(figsize=(8, 8))
+        pos = nx.multipartite_layout(circuit, subset_key="layer")
+        nx.draw_networkx(circuit, pos, **options)
+        plt.title(formula_to_string(formula))
+        plt.axis("equal")
+        st.pyplot()
+
+    elif circuit_mode == "Create Your Own":
+        st.write("### Create Your Own Circuit")
+
+        # Let user input number of layers, nodes and edges for the circuit
+        num_layers = st.number_input("Number of layers:", min_value=1, value=3)
+        num_nodes = st.number_input("Number of nodes:", min_value=1, value=5)
+        num_edges = st.number_input("Number of edges:", min_value=1, value=3)
+
+        circuit = nx.DiGraph()
+
+        # Allow user to input labels and edges
+        for layer in range(num_layers):
+            for node in range(num_nodes):
+                label = st.text_input(f"Enter label for node ({layer}, {node}):", key=f"label_{layer}_{node}")
+                circuit.add_node(f"{layer}_{node}", label=label, layer=layer)
+
+        # Allow user to input edges between nodes
+        edges = []
+        for i in range(num_edges):
+            source = st.text_input(f"Enter source node for edge {i+1} (e.g., '0_1')", key=f"source_edge_{i}")
+            dest = st.text_input(f"Enter destination node for edge {i+1} (e.g., '1_2')", key=f"dest_edge_{i}")
+            edges.append((source, dest))
+        circuit.add_edges_from(edges)
+
+        # Create the formula based on the circuit
+        formula = circuit_to_formula(circuit)
+        st.write("Formula: ", formula_to_string(formula))
+
+        # Draw the circuit
+        labels = nx.get_node_attributes(circuit, "label")
+        options = {
+            "node_size": 600,
+            "alpha": 0.5,
+            "node_color": "blue",
+            "labels": labels,
+            "font_size": 22,
+        }
+        plt.figure(figsize=(8, 8))
+        pos = nx.multipartite_layout(circuit, subset_key="layer")
+        nx.draw_networkx(circuit, pos, **options)
+        plt.title(formula_to_string(formula))
+        plt.axis("equal")
+        st.pyplot()
+
+# Display the corresponding page based on sidebar option
+if sidebar_option == "Algorithms: Circuits":
+    algorithms_circuits()
+
 def triads_graph():
     st.title("Graph: Triads")