中文
相关论文

相关论文: The Parametric Matroid $\ell$-Interdiction Problem

200 篇论文

We study a class of determinantal ideals arising from conditional independence (CI) statements with hidden variables. Such CI statements translate into determinantal conditions on a matrix whose entries represent the probabilities of events…

组合数学 · 数学 2025-10-15 Emiliano Liwski

We study determinantal varieties from conditional independence models with hidden variables, focusing on their irreducible decompositions, dimensions, degrees, and Gr\"obner bases. Each variety encodes a collection of matroids, whose flats…

Every minor-closed class of matroids of bounded branch-width can be characterized by a list of excluded minors, but unlike graphs, this list may need to be infinite in general. However, for each fixed finite field $\mathbb F$, the list…

组合数学 · 数学 2025-08-15 Mamadou Mostapha Kanté , Eun Jung Kim , O-joung Kwon , Sang-il Oum

In the Shortest Superstring problem we are given a set of strings $S=\{s_1, \ldots, s_n\}$ and integer $\ell$ and the question is to decide whether there is a superstring $s$ of length at most $\ell$ containing all strings of $S$ as…

数据结构与算法 · 计算机科学 2015-02-06 Ivan Bliznets , Fedor V. Fomin , Petr A. Golovach , Nikolay Karpov , Alexander S. Kulikov , Saket Saurabh

Program behavior may depend on parameters, which are either configured before compilation time, or provided at run-time, e.g., by sensors or other input devices. Parametric program analysis explores how different parameter settings may…

编程语言 · 计算机科学 2014-06-23 Thomas M. Gawlitza , Martin D. Schwarz , Helmut Seidl

A fundamental question in parallel computation, posed by Karp, Upfal, and Wigderson (FOCS 1985, JCSS 1988), asks: \emph{given only independence-oracle access to a matroid on $n$ elements, how many rounds are required to find a basis using…

数据结构与算法 · 计算机科学 2025-11-10 Sanjeev Khanna , Aaron Putterman , Junkai Song

Impartial selection problems are concerned with the selection of one or more agents from a set based on mutual nominations from within the set. To avoid strategic nominations of the agents, the axiom of impartiality requires that the…

计算机科学与博弈论 · 计算机科学 2024-10-01 Javier Cembrano , Max Klimm , Arturo Merino

Maximizing monotone submodular functions under a matroid constraint is a classic algorithmic problem with multiple applications in data mining and machine learning. We study this classic problem in the fully dynamic setting, where elements…

数据结构与算法 · 计算机科学 2025-05-26 Paul Dütting , Federico Fusco , Silvio Lattanzi , Ashkan Norouzi-Fard , Morteza Zadimoghaddam

The Matroid Secretary Problem is a central question in online optimization, modeling sequential decision-making under combinatorial constraints. We introduce a bipartite graph framework that unifies and extends several known formulations,…

数据结构与算法 · 计算机科学 2025-11-07 Kristóf Bérczi , Vasilis Livanos , José A. Soto , Victor Verdugo

The problem of covering the ground set of two matroids by a minimum number of common independent sets is notoriously hard even in very restricted settings, i.e.\ when the goal is to decide if two common independent sets suffice or not.…

组合数学 · 数学 2023-02-06 Kristóf Bérczi , Tamás Schwarcz

We characterize the class of threshold matroids by the structure of their defining bases. We also give an example of a shifted matroid which is not threshold, answering a question of Deza and Onn. We conclude by exploring consequences of…

组合数学 · 数学 2025-09-01 Ethan Partida

Weights are geometrical degrees of freedom that allow to generalise Lagrangian finite elements. They are defined through integrals over specific supports, well understood in terms of differential forms and integration, and lie within the…

数值分析 · 数学 2025-12-04 Ludovico Bruni Bruno , Matteo Semplice , Stefano Serra-Capizzano

Parametric path problems arise independently in diverse domains, ranging from transportation to finance, where they are studied under various assumptions. We formulate a general path problem with relaxed assumptions, and describe how this…

数据结构与算法 · 计算机科学 2021-06-08 Prerona Chatterjee , Kshitij Gajjar , Jaikumar Radhakrishnan , Girish Varma

We consider a class of optimization problems that involve determining the maximum value that a function in a particular class can attain subject to a collection of difference constraints. We show that a particular linear programming…

数据结构与算法 · 计算机科学 2022-11-16 Sungjin Im , Benjamin Moseley , Hung Q. Ngo , Kirk Pruhs , Alireza Samadian

We consider the problem of optimizing a coverage function under a $\ell$-matchoid of rank $k$. We design fixed-parameter algorithms as well as streaming algorithms to compute an exact solution. Unlike previous work that presumes linear…

数据结构与算法 · 计算机科学 2022-12-14 Chien-Chung Huang , Justin Ward

We show that, if $M$ is a simple rank-$n$ matroid with no $\ell$-point line minor and no minor isomorphic to the cycle matroid of a $t$-vertex complete graph, then the ratio $|M| / n$ is bounded above by a singly exponential function of…

组合数学 · 数学 2023-06-28 Peter Nelson , Sergey Norin , Fernanda Rivera Omana

This paper studies systems of polynomial equations that provide information about orientability of matroids. First, we study systems of linear equations over GF(2), originally alluded to by Bland and Jensen in their seminal paper on weak…

组合数学 · 数学 2013-10-01 J. A. De Loera , J. Lee , S. Margulies , J. Miller

We propose a model for recoverable robust optimization with commitment. Given a combinatorial optimization problem and uncertainty about elements that may fail, we ask for a robust solution that, after the failing elements are revealed, can…

数据结构与算法 · 计算机科学 2023-06-16 Felix Hommelsheim , Nicole Megow , Komal Muluk , Britta Peis

In the matroid intersection problem, we are given two matroids of rank $r$ on a common ground set $E$ of $n$ elements and the goal is to find the maximum set that is independent in both matroids. In this note, we show that Cunningham's…

数据结构与算法 · 计算机科学 2019-04-09 Huy L. Nguyen

The Strong Exponential Time Hypothesis (SETH) asserts that for every $\varepsilon>0$ there exists $k$ such that $k$-SAT requires time $(2-\varepsilon)^n$. The field of fine-grained complexity has leveraged SETH to prove quite tight…

计算复杂性 · 计算机科学 2022-11-30 Tatiana Belova , Alexander Golovnev , Alexander S. Kulikov , Ivan Mihajlin , Denil Sharipov