wiki_research

commit 45aaf30ce16ec43f384d9aaa6aa6fceb876e161c
parent ad03885672b9b8f85e164d8663ee6762a17f5cf9
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Fri,  7 Nov 2025 17:50:59 +0100

commit with codex

Diffstat:
acyclic_free_connex
 | 
2
+-
ddnnf
 | 
2
+-
disjoint_union_product_circuit
 | 
2
+-
dnnf
 | 
2
+-
graph_hamiltonian
 | 
2
++
project_connex
 | 
5
+++++
st_reliability
 | 
3
++-
union_product_circuit
 | 
2
+-

8 files changed, 14 insertions(+), 6 deletions(-)
diff --git a/acyclic_free_connex b/acyclic_free_connex
@@ -8,6 +8,6 @@ When a query is not acyclic free-connex you can often reduce from [boolean_matri
 
 Up: [conjunctive_query_acyclic]
 
-See also: [enumeration_cqs]
+See also: [enumeration_cqs], [project_connex]
 
 Aliases: Acyclic free connex CQ, acyclic free connex CQs
diff --git a/ddnnf b/ddnnf
@@ -6,6 +6,6 @@
 
 Up: [knowledge_compilation_classes], [dd]
 
-See also: [dnnf], [decision_dnnf], [uobdd]
+See also: [dnnf], [decision_dnnf], [uobdd], [times_uplus_circuit]
 
 Aliases: d-DNNFs
diff --git a/disjoint_union_product_circuit b/disjoint_union_product_circuit
@@ -10,4 +10,4 @@ Defined in [amarilli2024tractable]
 
 Up: [circuit_multivalued]
 
-Aliases: disjoint union times circuit, disjoint union times circuits, disjoint union product circuits
+Aliases: disjoint union times circuit, disjoint union times circuits, disjoint union product circuits, times uplus circuit, times uplus circuits
diff --git a/dnnf b/dnnf
@@ -14,7 +14,7 @@ Special cases:
 
 Compilation of DNNFs to [conjunctive_normal_form] cannot be done tractably because DNNFs include [DNFs]
 
-See also: [ddnnf], [decision_dnnf]
+See also: [ddnnf], [decision_dnnf], [times_cup_circuit]
 
 Up: [knowledge_compilation_classes]
 
diff --git a/graph_hamiltonian b/graph_hamiltonian
@@ -7,3 +7,5 @@ For the [recognition_problem], see [Hamiltonian_path_problem]
 Up: [graph_family]
 
 Aliases: Hamiltonian graph, Hamiltonian graphs
+
+See also: [hamiltonian_connected_graph]
diff --git a/project_connex b/project_connex
@@ -0,0 +1,5 @@
+# Project connex
+
+see [figueira2025project]
+
+Up: [acyclic_free_connex]
diff --git a/st_reliability b/st_reliability
@@ -4,7 +4,8 @@ The case of [network_reliability] with a fixed source and target
 
 Can be posed on [directed_graphs] and [undirected_graphs]
 
-[st_reliability_approximation]
+- [st_reliability_approximation]
+- [st_reliability_provenance]
 
 Up: [network_reliability]
 
diff --git a/union_product_circuit b/union_product_circuit
@@ -10,4 +10,4 @@ Defined in [amarilli2024tractable]
 
 Up: [circuit_multivalued]
 
-Aliases: union times circuit, union times circuits, union product circuits
+Aliases: union times circuit, union times circuits, union product circuits, times cup circuit, times union circuit, times cup circuits, times union circuits