惯性聚合 高效追踪和阅读你感兴趣的博客、新闻、科技资讯
阅读原文 在惯性聚合中打开

推荐订阅源

T
The Exploit Database - CXSecurity.com
J
Java Code Geeks
H
Help Net Security
B
Blog RSS Feed
G
Google Developers Blog
博客园 - 司徒正美
MongoDB | Blog
MongoDB | Blog
量子位
博客园 - 三生石上(FineUI控件)
The Cloudflare Blog
P
Proofpoint News Feed
小众软件
小众软件
人人都是产品经理
人人都是产品经理
云风的 BLOG
云风的 BLOG
V
V2EX
月光博客
月光博客
C
Check Point Blog
cs.AI updates on arXiv.org
cs.AI updates on arXiv.org
A
Arctic Wolf
Help Net Security
Help Net Security
Schneier on Security
Schneier on Security
D
DataBreaches.Net
酷 壳 – CoolShell
酷 壳 – CoolShell
博客园_首页
钛媒体:引领未来商业与生活新知
钛媒体:引领未来商业与生活新知
P
Palo Alto Networks Blog
T
Tenable Blog
L
LangChain Blog
Attack and Defense Labs
Attack and Defense Labs
Google DeepMind News
Google DeepMind News
N
News and Events Feed by Topic
Forbes - Security
Forbes - Security
F
Fortinet All Blogs
Recent Announcements
Recent Announcements
Cyber Security Advisories - MS-ISAC
Cyber Security Advisories - MS-ISAC
大猫的无限游戏
大猫的无限游戏
www.infosecurity-magazine.com
www.infosecurity-magazine.com
Y
Y Combinator Blog
WordPress大学
WordPress大学
Stack Overflow Blog
Stack Overflow Blog
V
Visual Studio Blog
OSCHINA 社区最新新闻
OSCHINA 社区最新新闻
Engineering at Meta
Engineering at Meta
NISL@THU
NISL@THU
GbyAI
GbyAI
博客园 - Franky
S
Secure Thoughts
有赞技术团队
有赞技术团队
PCI Perspectives
PCI Perspectives
U
Unit 42

math.CO updates on arXiv.org

Complement Submodular Information Measures for Balanced and Robust Data Selection A Proof of a Conjecture on Positive and Negative Square Energies of Unicyclic Graphs Laplacian Spectrum of the Weakly Zero-Divisor Graph of a Finite Commutative Ring An identity for second Eulerian numbers via lattice-point counting $t$-tone edge coloring of graphs Constructing Maximal Bumpless Pipedreams for Double Grothendieck Polynomials Mubayi's Polynomial-Ideal Conjecture and Cover-Ideal Turán Methods Implicit Binarization via Complex Phase Dynamics in Combinatorial Optimization The limits of Schur multipliers in Pólya conversion problems for the $q$-permanent function Universality theorems for generalized splines Framing Triangulations for Arbitrary Integer Flow Polytopes On the Common Generalization of Gentle Algebras and Framed Directed Acyclic Graphs The complexity of frugal digraph homomorphisms Chaotic and periodic behavior of jeu de taquin on infinite Young tableaux Enumerating Pattern Avoiding Parking Functions Incidence toric ideals and three-point functions Unique Winning Opening Move in Three-Row Chomp Strong majority colorings of graphs A Balancing Theorem for Spanning Trees of Rectangular Grid Graphs Spectral radius and edge-disjoint connected factors of graphs New invariants for rank metric codes, with applications to the classification of rank two semifields of order 256 Flexible DP-4-coloring of planar graphs without 4-cycles and intersecting triangles Balanced intersection size distributions in projective planes List Reconstruction Problem with List Size Two Is Dimensionality a Barrier for Retrieval Models? The INIEP: Irreducible and Positive Realizations The number of Pfaffian orientations on punctured polygonally cellulated surfaces Explicit Construction of Polytopes whose Ehrhart Polynomials Realize any Given Sign Pattern Finite-state enumeration of adjacency-constrained 132-avoiding permutations AMDS and quantum AMDS Constacyclic codes of length $4p^ς$ over $\mathbb{F}_{{p}^{m}}$ Weisfeiler-Leman Is Incomplete on Simple Spectrum Graphs, so Canonicalize Them A superlinear improvement on line-free sets in $\mathbb{F}_p^3$ Central limit theorems for high dimensional lattice polytopes: cosmological polytopes Finding blowups one vertex at a time Maximum Probability of Independence in Transitive Matroids Higher Rank-Support Weights and q-Polymatroids Localized Turán-type inequalities for $Q$-index Functional codes arising from rank $n$ Hermitian varieties and hypersurfaces in low dimensions Generalizing OOOOOOB Complex Representations of Groups and Involutions of its Automorphisms Distributions of Iwasawa $λ$-invariants of $\mathbf{Z}_p$-towers over supersingular isogeny graphs The Closure of LCD-to-GI Reductions via Generalized Inner Products Sets of large values of polynomial multi-correlation functions Polylogarithmic Full-Chord Buffon Discrepancy Star-Shaped Integral Cartan-Type Matrices and an Egyptian-Fraction Classification of Affine Weighted Trees Symplectic lattice counting and zeta functions of higher Heisenberg groups Concise and elegant proofs of three formulas for complete Bell polynomials On Reed-Muller subcodes, Grassmannian partitions and sum-free functions Holographic functions and neural networks An Ore-type condition for $H$-tilings in graphs From Halin's Edge Removability to Matching Removability in $k$-Connected Graphs Reciprocals of Partition Polynomials A Comprehensive Study of Clique Graphs and Clique Regular Graphs Targeting Clause Type Distributions: a Picklock for Random Satisfiability Problems Hypercube geodesics with few colour changes Every signed planar graph is $5$-choosable: A short proof and refinements The Symmetries of Three-Layer ReLU Networks The Geometry of Cooperative Game Solutions: Stratified Egalitarian Shapley Values An Axiomatic Theory of Tie-Breaking: Impossibility, Characterization, and Decomposition Every Minimal Counterexample to the Erdős-Gyárfás Conjecture is Predominantly Cubic TriVAL: A Tri-Validation Framework for Faithful Automatic Optimization Modeling Learning Minimally Rigid Graphs with High Realization Counts Geometry of Rényi Entropy on the Majorization Lattice On $\ell$-weakly cross $t$-intersecting families for sets and vector spaces Invariant-Based Diagnostics for Graph Benchmarks Thresholds for Tic-Tac-Toe on Finite Affine Spaces Almost-Orthogonality in Lp Spaces: A Case Study with Grok On the Architectural Complexity of Neural Networks Most ReLU Networks Admit Identifiable Parameters A Partition-Based Generating Function for Row-Convex Polyominoes Word-Representability of Shift Graphs Trees and Graphs with Non Log-concave Dominating Set Sequence via AI Tools The Banach-Butterfly Invariant: Influence-Adaptive Walsh Geometry for Ternary Polynomial Threshold Functions New Bounds for Zarankiewicz Numbers via Reinforced LLM Evolutionary Search Order-Sensitive Sequential Interventions on Ideal Lattices Mathematical Foundations for Peer-to-Peer Lattice Computation Doubly Saturated Ramsey Graphs: A Case Study in Computer-Assisted Mathematical Discovery A weighted angle distance on strings Achieving the Kesten-Stigum bound in the non-uniform hypergraph stochastic block model A Complete Symmetry Classification of Shallow ReLU Networks Ollivier-Ricci Curvature of Riemannian Manifolds and Directed Graphs with Applications to Graph Neural Networks Adaptive Threshold-Driven Continuous Greedy Method for Scalable Submodular Optimization A semicontinuous relaxation of Saito's criterion and freeness as angular minimization Representing Higher-Order Networks: A Survey of Graph-Based Frameworks Reinforced Generation of Combinatorial Structures: Ramsey Numbers Two Dimensional Subtraction -- Transfer Games Almost All Vectorial Functions Have Trivial Extended-Affine Stabilizers Split-Twin Extensions Preserving Seymour Vertices Three formulas for CSM classes of open quiver loci Möbius transforms and Shapley values for vector-valued functions on weighted directed acyclic multigraphs The existence of unexpected automorphisms in direct product graphs When are Hopf algebras determined by integer sequences? Self-affine quadrangles Pointwise order of generalized Hofstadter functions G, H and beyond Strong Embeddings of 3-Connected Cubic Planar Graphs on Surfaces of non-negative Euler Characteristic A Mathematical Reconstruction of Endothelial Cell Networks Progressive and Rushed Dyck Paths Symmetric noncrossing partitions of an annulus with double points Improved Bounds for Multicovering Hypergraphs The pre-Pieri rules
Enumerating combinatorial resultant decompositions of 2-connected rigidity circuits
Goran Malic, Ileana Streinu · 2023-09-22 · via math.CO updates on arXiv.org

A rigidity circuit (in 2D) is a minimal dependent set in the rigidity matroid, i.e. a minimal graph supporting a non-trivial stress in any generic placement of its vertices in $\mathbb R^2$. Any rigidity circuit on $n\geq 5$ vertices can be obtained from rigidity circuits on a fewer number of vertices by applying the combinatorial resultant (CR) operation. The inverse operation is called a combinatorial resultant decomposition (CR-decomp). Any rigidity circuit on $n\geq 5$ vertices can be successively decomposed into smaller circuits, until the complete graphs $K_4$ are reached. This sequence of CR-decomps has the structure of a rooted binary tree called the combinatorial resultant tree (CR-tree). A CR-tree encodes an elimination strategy for computing circuit polynomials via Sylvester resultants. Different CR-trees lead to elimination strategies that can vary greatly in time and memory consumption. It is an open problem to establish criteria for optimal CR-trees, or at least to characterize those CR-trees that lead to good elimination strategies. In [12] we presented an algorithm for enumerating CR-trees where we give the algorithms for decomposing 3-connected rigidity circuits in polynomial time. In this paper we focus on those circuits that are not 3-connected, which we simply call 2-connected. In order to enumerate CR-decomps of 2-connected circuits $G$, a brute force exp-time search has to be performed among the subgraphs induced by the subsets of $V(G)$. This exp-time bottleneck is not present in the 3-connected case. In this paper we will argue that we do not have to account for all possible CR-decomps of 2-connected rigidity circuits to find a good elimination strategy; we only have to account for those CR-decomps that are a 2-split, all of which can be enumerated in polynomial time. We present algorithms and computational evidence in support of this heuristic.