z

.gitea/workflows/compile.yml

@@ -17,7 +17,6 @@ jobs:
       - uses: http://localhost:3000/sxlxc/gitea-release-action@v1
         with:
           body: ''
-          prerelease: true
           name: PDF
           token: ${{ secrets.RELEASE_TOKEN }}
           tag_name: latest

.latexmkrc

@@ -1,2 +1,2 @@
-$xelatex = 'xelatex -interaction=nonstopmode -synctex=1 %O %S';
-$pdf_mode = 5;
+$pdflatex = 'xelatex -interaction=nonstopmode -synctex=1';
+$pdf_mode = 1;

main.tex

@@ -1,13 +1,188 @@
-\documentclass{beamer}
-\usetheme{metropolis}
+\RequirePackage{scrlfile}
+\makeatletter
+\AfterPackage{beamerbasemodes}{\beamer@amssymbfalse}
+\makeatother
+\documentclass[aspectratio=169,handout,notheorems]{beamer}
+\usefonttheme{professionalfonts}
+
+\usepackage{algo}
+\usetheme{moloch}   % new metropolis
+% fonts
+\usepackage{fontspec}
+\setsansfont[
+    ItalicFont={Fira Sans Italic},
+    BoldFont={Fira Sans Medium},
+    BoldItalicFont={Fira Sans Medium Italic}
+]{Fira Sans}
+\setmonofont[BoldFont={Fira Mono Medium}]{Fira Mono}
+\AtBeginEnvironment{tabular}{%
+    \addfontfeature{Numbers={Monospaced}}
+}
+\usepackage{lete-sans-math}
+\usepackage{soul}
+\usepackage[dvipsnames]{xcolor}
+\usepackage{booktabs}
+\newtheorem{theorem}{Theorem}[section]
+\newtheorem{lemma}{Lemma}[section]
+\newtheorem{corollary}{Corollary}[section]
+\newtheorem{conjecture}{Conjecture}[section]
+\newtheorem{proposition}{Proposition}[section]
+\newtheorem{problem}{Problem}
+\newcommand{\lemmaautorefname}{Lemma}
+\newcommand{\corollaryautorefname}{Corollary}
+\newcommand{\conjectureautorefname}{Conjecture}
+\newcommand{\propositionautorefname}{Proposition}
+\newcommand{\problemautorefname}{Problem}
+\def\etal{\emph{et~al.}}
+\def\Real{\mathbb{R}}
+\def\Integer{\mathbb{Z}}
+\let\R\Real
+\let\Z\Integer
+\newcommand{\e}{\varepsilon}
+
 \title{Connectivity Interdiction \& \\ Perturbed Graphic Matroid Cogirth}
 \date{\today}
-\author{congyu}
-\institute{A\&L Group, UESTC}
+\author{Cong Yu}
+\institute{Algorithm \& Logic Group, UESTC}
+
+
 \begin{document}
 \maketitle
-\section{First Section}
-\begin{frame}{First Frame}
-Hello, world!
+\section{Connectivity interdiction}
+\begin{frame}{Connectivity interdiction}
+\begin{problem}[connectivity interdiction {[Zenklusen ORL'14]}]
+Let $G=(V,E)$ be a graph with edge weights $w:E\to\Z_+$ and edge removal costs $c:E\to\Z_+$ and let $B\in \mathbb Z_+$ be the budget.
+
+Find $F\subset E$ with $w(F)\leq B$ s.t. the min-cut in $G-F$ is minimized.
+\end{problem}
+
+\pause\medskip
+\begin{problem}[$B$-free min-cut]
+Given the same input, define weight function for cuts
+\[ w'(\delta(X))=\min_{F\subset \delta(X),c(F)\leq B} w(\delta(X)-F)\]
+
+Find the cut with minimum weight $w'$.
+\end{problem}
+\end{frame}
+
+\begin{frame}{Applications}
+\begin{itemize}
+\item drag delivery
+\item nuclear smuggling
+\item hospital infection control
+\item ...
+\end{itemize}
+\end{frame}
+
+\begin{frame}{Previous works}
+\begin{table}[h]
+\centering
+\begin{tabular}{c c c c}
+\toprule
+unit cost $w(\cdot)=1$ & general case & random? & ref \\
+\midrule
+$O(m^2n^4\log n)$ & $O(m^{2+1/\e}n^4\log n)$ & $\times$  & [Zenklusen ORL'14] \\
+$O(mn^4\log^2 n)$ & $O(m^{1+1/\e}n^4\log^2 n)$ & $\checkmark$ & [Zenklusen ORL'14] \\
+$\tilde O(m+n^4 B)$ & $O(\frac{m^2n^4}{\e}\log(Bnw_{\max}))$ & $\times$ &   [Huang \etal{} IPCO'24]\\
+$\tilde O(n^3m\log w_{\max})$ & - & $\checkmark$ &   [Drange \etal{} AAAI'26]\\
+$\tilde O(m^2+n^3B)$ & $\tilde O(m^2+mn^3+\frac{n^3}{\e})$ & $\times$ &  this work\\
+$\tilde O(m+n^3B)$ & $\tilde O(mn^3+\frac{n^3}{\e})$ & $\checkmark$ &  this work\\
+\bottomrule
+\end{tabular}
+\caption{PTASes for connectivity interdiction}
+\end{table}
+\end{frame}
+
+\begin{frame}{Method in [Huang \etal{} IPCO'24]}
+
+\begin{problem}[\emph{normalized min-cut} {[Chalermsook \etal{} ICALP'22]}]
+Given the same input as connectivity interdiction, find
+\[\argmin_{\text{cut $C$}, F\subset C} \frac{w(C-F)}{B-c(F)+1} \quad s.t. \quad 0\leq c(F)\leq B.\]
+\end{problem}
+
+\pause\medskip
+First considered in [Chalermsook \etal{} ICALP'22] as a subproblem in MWU framework when solving minimum $k$-edge connected spanning subgraph (ECSS) problem.
+\end{frame}
+
+\begin{frame}{Method in [Huang \etal{} IPCO'24]}
+Let $\tau$ be a $(1+\e)$-approximation to the normalized min-cut and let $C^*$ be the optimal $B$-free cut.
+\begin{lemma}
+$C^*$ is a $(2+2\e)$-approximate min-cut in $(G,w_\tau)$, 
+
+where $w_\tau(e)=\min(\tau c(e),w(e))$ is the truncated edge weight.
+\end{lemma}
+\end{frame}
+
+\begin{frame}{LP method}
+\begin{equation*}
+\begin{aligned}
+\min&   &   \sum_{e} x_e w(e)&              &   & \\
+s.t.&   &   \sum_{e\in T} x_e+y_e&\geq 1    &   &\forall \text{spanning tree $T$}\quad \text{($x+y$ is a cut)}\\
+&       &   \sum_{e} y_e c(e) &\leq B       &   &\text{(budget for $F$)}\\
+&       &   y_e,x_e&\in\{0,1\}              &   &\forall e
+\end{aligned}
+\end{equation*}
+
+The integral gap is $+\infty$!
+\end{frame}
+
+\begin{frame}{LP method}
+Consider its \st{linear relaxation} Lagrangian dual.
+\[
+LD=\max_{\lambda \geq 0} \min_{\text{cut $C$ and }F\subset C} w(C-F)-\lambda(B-c(F))
+\]
+
+We are interested in $L(\lambda)=\min\limits_{\text{cut $C$ and }F\subset C} w(C)-w(F)+\lambda c(F)$.
+
+\pause \medskip
+Let $C^*$ be the optimal $B$-free mincut and let $\lambda^*$ be the optimal solution to $LD$.
+\begin{lemma}%
+\[ L(\lambda^*) \leq w_{\lambda^*}(C^*)<2L(\lambda^*)\]
+\end{lemma}
+\end{frame}
+
+\section{Cogirth of perturbed graphic matroids}
+\begin{frame}{Matroid}
+A matroid $M=(E,\mathcal B)$ is a structure on set $E$.
+
+$\mathcal B$ is the collection of ``bases'' with the following properties:
+\begin{itemize}
+\item $\mathcal B\neq \emptyset$;
+\item If $A$ and $B$ are distinct members of $\mathcal B$ and $a\in A-B$, 
+
+then there exists $b\in B-A$ such that $A-a+b\in \mathcal B$.
+\end{itemize}
+
+\pause\medskip
+$X\subset E$ is a cocycle if $X\cap B\neq \emptyset$ holds for all $B\in \mathcal B$.
+
+The size of minimum cocycle is the cogirth.
+\end{frame}
+
+\begin{frame}{Examples}
+\begin{itemize}
+\item Graphic matroids. $E$ is the edge set. $\mathcal B$ is the collection of all spanning forests. Cogirth is the size of min-cut.
+\item Uniform matroids. $E$ is a set. $\mathcal B$ is the collection of all subsets of $E$ with $5$ elements. Cogirth is $|E|-4$.
+\item Binary matroids. $E$ is a set of binary vectors. $\mathcal B$ is the collection of maximum linearly independent sets. What is the cogirth?
+\item ...
+\end{itemize}
+\end{frame}
+
+\begin{frame}{Computing cogirth}
+\[
+\small
+\begin{array}{ccccccc}
+\text{Graphic matroids} & \subset & \text{Regular matroids} & \subset & \text{MFMC matroids} & \subset & \text{Binary matroids} \\
+P & & P & & P & & \textcolor{BrickRed}{\text{NP-Hard}}
+\end{array}
+\]
+
+\pause\medskip
+\begin{conjecture}[{[Geelen \etal{} Ann. Comb. 2015]}]
+For any proper minor closed class $\mathcal M$ of binary matroids, there is a polynomial time algorithm for computing the girth of matroids in $\mathcal M$.
+\end{conjecture}
+\end{frame}
+
+\begin{frame}{Perturbed graphic matroid}
 \end{frame}
 \end{document}