Source author record

G. Gutin

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Data Structures and Algorithms Computational Complexity Discrete Mathematics Cryptography and Security math.CO Software Engineering

Catalog footprint

Research overview

15works

6topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2020arXiv

Component Order Connectivity in Directed Graphs

A directed graph $D$ is semicomplete if for every pair $x,y$ of vertices of $D,$ there is at least one arc between $x$ and $y.$ \viol{Thus, a tournament is a semicomplete digraph.} In the Directed Component Order Connectivity (DCOC) problem, given a digraph $D=(V,A)$ and a pair of natural numbers $k$ and $\ell$ , we are to decide whether there is a subset $X$ of $V$ of size $k$ such that the largest strong connectivity component in $D-X$ has at most $\ell$ vertices. Note that DCOC reduces to the Directed Feedback Vertex Set problem for $\ell=1.$ We study parametered complexity of DCOC for general and semicomplete digraphs with the following parameters: $k, \ell,\ell+k$ and $n-\ell$ . In particular, we prove that DCOC with parameter $k$ on semicomplete digraphs can be solved in time $O^*(2^{16k})$ but not in time $O^*(2^{o(k)})$ unless the Exponential Time Hypothesis (ETH) fails. \gutin{The upper bound $O^*(2^{16k})$ implies the upper bound $O^*(2^{16(n-\ell)})$ for the parameter $n-\ell.$ We complement the latter by showing that there is no algorithm of time complexity $O^*(2^{o({n-\ell})})$ unless ETH fails.} Finally, we improve \viol{(in dependency on $\ell$ )} the upper bound of G{ö}ke, Marx and Mnich (2019) for the time complexity of DCOC with parameter $\ell+k$ on general digraphs from $O^*(2^{O(k\ell\log (k\ell))})$ to $O^*(2^{O(k\log (k\ell))}).$ Note that Drange, Dregi and van 't Hof (2016) proved that even for the undirected version of DCOC on split graphs there is no algorithm of running time $O^*(2^{o(k\log \ell)})$ unless ETH fails and it is a long-standing problem to decide whether Directed Feedback Vertex Set admits an algorithm of time complexity $O^*(2^{o(k\log k)}).$

preprint2020arXiv

Proper Orientation Number of Triangle-free Bridgeless Outerplanar Graphs

An orientation of $G$ is a digraph obtained from $G$ by replacing each edge by exactly one of two possible arcs with the same endpoints. We call an orientation \emph{proper} if neighbouring vertices have different in-degrees. The proper orientation number of a graph $G$ , denoted by $\vecχ(G)$ , is the minimum maximum in-degree of a proper orientation of G. Araujo et al. (Theor. Comput. Sci. 639 (2016) 14--25) asked whether there is a constant $c$ such that $\vecχ(G)\leq c$ for every outerplanar graph $G$ and showed that $\vecχ(G)\leq 7$ for every cactus $G.$ We prove that $\vecχ(G)\leq 3$ if $G$ is a triangle-free $2$ -connected outerplanar graph and $\vecχ(G)\leq 4$ if $G$ is a triangle-free bridgeless outerplanar graph.

preprint2015arXiv

Algorithms for the workflow satisfiability problem engineered for counting constraints

The workflow satisfiability problem (WSP) asks whether there exists an assignment of authorized users to the steps in a workflow specification that satisfies the constraints in the specification. The problem is NP-hard in general, but several subclasses of the problem are known to be fixed-parameter tractable (FPT) when parameterized by the number of steps in the specification. In this paper, we consider the WSP with user-independent counting constraints, a large class of constraints for which the WSP is known to be FPT. We describe an efficient implementation of an FPT algorithm for solving this subclass of the WSP and an experimental evaluation of this algorithm. The algorithm iteratively generates all equivalence classes of possible partial solutions until, whenever possible, it finds a complete solution to the problem. We also provide a reduction from a WSP instance to a pseudo-Boolean SAT instance. We apply this reduction to the instances used in our experiments and solve the resulting PB SAT problems using SAT4J, a PB SAT solver. We compare the performance of our algorithm with that of SAT4J and discuss which of the two approaches would be more effective in practice.

preprint2014arXiv

Parameterized and Approximation Algorithms for the Load Coloring Problem

Let $c, k$ be two positive integers and let $G=(V,E)$ be a graph. The $(c,k)$ -Load Coloring Problem (denoted $(c,k)$ -LCP) asks whether there is a $c$ -coloring $φ: V \rightarrow [c]$ such that for every $i \in [c]$ , there are at least $k$ edges with both endvertices colored $i$ . Gutin and Jones (IPL 2014) studied this problem with $c=2$ . They showed $(2,k)$ -LCP to be fixed parameter tractable (FPT) with parameter $k$ by obtaining a kernel with at most $7k$ vertices. In this paper, we extend the study to any fixed $c$ by giving both a linear-vertex and a linear-edge kernel. In the particular case of $c=2$ , we obtain a kernel with less than $4k$ vertices and less than $8k$ edges. These results imply that for any fixed $c\ge 2$ , $(c,k)$ -LCP is FPT and that the optimization version of $(c,k)$ -LCP (where $k$ is to be maximized) has an approximation algorithm with a constant ratio for any fixed $c\ge 2$ .

preprint2013arXiv

Maximum Balanced Subgraph Problem Parameterized Above Lower Bound

We consider graphs without loops or parallel edges in which every edge is assigned + or -. Such a signed graph is balanced if its vertex set can be partitioned into parts $V_1$ and $V_2$ such that all edges between vertices in the same part have sign + and all edges between vertices of different parts have sign $-$ (one of the parts may be empty). It is well-known that every connected signed graph with $n$ vertices and $m$ edges has a balanced subgraph with at least $\frac{m}{2} + \frac{n-1}{4}$ edges and this bound is tight. We consider the following parameterized problem: given a connected signed graph $G$ with $n$ vertices and $m$ edges, decide whether $G$ has a balanced subgraph with at least $\frac{m}{2} + \frac{n-1}{4}+\frac{k}{4}$ edges, where $k$ is the parameter. We obtain an algorithm for the problem of runtime $8^k(kn)^{O(1)}$ . We also prove that for each instance $(G,k)$ of the problem, in polynomial time, we can either solve $(G,k)$ or produce an equivalent instance $(G',k')$ such that $k'\le k$ and $|V(G')|=O(k^3)$ . Our first result generalizes a result of Crowston, Jones and Mnich (ICALP 2012) on the corresponding parameterization of Max Cut (when every edge of $G$ has sign $-$ ). Our second result generalizes and significantly improves the corresponding result of Crowston, Jones and Mnich: they showed that $|V(G')|=O(k^5)$ .

preprint2012arXiv

(Non-)existence of Polynomial Kernels for the Test Cover Problem

The input of the Test Cover problem consists of a set $V$ of vertices, and a collection ${\cal E}=\{E_1,..., E_m\}$ of distinct subsets of $V$ , called tests. A test $E_q$ separates a pair $v_i,v_j$ of vertices if $|\{v_i,v_j\}\cap E_q|=1.$ A subcollection ${\cal T}\subseteq {\cal E}$ is a test cover if each pair $v_i,v_j$ of distinct vertices is separated by a test in ${\cal T}$ . The objective is to find a test cover of minimum cardinality, if one exists. This problem is NP-hard. We consider two parameterizations the Test Cover problem with parameter $k$ : (a) decide whether there is a test cover with at most $k$ tests, (b) decide whether there is a test cover with at most $|V|-k$ tests. Both parameterizations are known to be fixed-parameter tractable. We prove that none have a polynomial size kernel unless $NP\subseteq coNP/poly$ . Our proofs use the cross-composition method recently introduced by Bodlaender et al. (2011) and parametric duality introduced by Chen et al. (2005). The result for the parameterization (a) was an open problem (private communications with Henning Fernau and Jiong Guo, Jan.-Feb. 2012). We also show that the parameterization (a) admits a polynomial size kernel if the size of each test is upper-bounded by a constant.

preprint2012arXiv

Fixed-parameter tractability of satisfying beyond the number of variables

We consider a CNF formula $F$ as a multiset of clauses: $F=\{c_1,..., c_m\}$ . The set of variables of $F$ will be denoted by $V(F)$ . Let $B_F$ denote the bipartite graph with partite sets $V(F)$ and $F$ and with an edge between $v \in V(F)$ and $c \in F$ if $v \in c$ or $\bar{v} \in c$ . The matching number $ν(F)$ of $F$ is the size of a maximum matching in $B_F$ . In our main result, we prove that the following parameterization of {\sc MaxSat} (denoted by $(ν(F)+k)$ -\textsc{SAT}) is fixed-parameter tractable: Given a formula $F$ , decide whether we can satisfy at least $ν(F)+k$ clauses in $F$ , where $k$ is the parameter. A formula $F$ is called variable-matched if $ν(F)=|V(F)|.$ Let $δ(F)=|F|-|V(F)|$ and $δ^*(F)=\max_{F'\subseteq F} δ(F').$ Our main result implies fixed-parameter tractability of {\sc MaxSat} parameterized by $δ(F)$ for variable-matched formulas $F$ ; this complements related results of Kullmann (2000) and Szeider (2004) for {\sc MaxSat} parameterized by $δ^*(F)$ . To obtain our main result, we reduce $(ν(F)+k)$ -\textsc{SAT} into the following parameterization of the {\sc Hitting Set} problem (denoted by $(m-k)$ -{\sc Hitting Set}): given a collection $\cal C$ of $m$ subsets of a ground set $U$ of $n$ elements, decide whether there is $X\subseteq U$ such that $C\cap X\neq \emptyset$ for each $C\in \cal C$ and $|X|\le m-k,$ where $k$ is the parameter. Gutin, Jones and Yeo (2011) proved that $(m-k)$ -{\sc Hitting Set} is fixed-parameter tractable by obtaining an exponential kernel for the problem. We obtain two algorithms for $(m-k)$ -{\sc Hitting Set}: a deterministic algorithm of runtime $O((2e)^{2k+O(\log^2 k)} (m+n)^{O(1)})$ and a randomized algorithm of expected runtime $O(8^{k+O(\sqrt{k})} (m+n)^{O(1)})$ . Our deterministic algorithm improves an algorithm that follows from the kernelization result of Gutin, Jones and Yeo (2011).

preprint2012arXiv

Fixed-Parameter Tractability of Workflow Satisfiability in the Presence of Seniority Constraints

The workflow satisfiability problem is concerned with determining whether it is possible to find an allocation of authorized users to the steps in a workflow in such a way that all constraints are satisfied. The problem is NP-hard in general, but is known to be fixed-parameter tractable for certain classes of constraints. The known results on fixed-parameter tractability rely on the symmetry (in some sense) of the constraints. In this paper, we provide the first results that establish fixed-parameter tractability of the satisfiability problem when the constraints are asymmetric. In particular, we introduce the notion of seniority constraints, in which the execution of steps is determined, in part, by the relative seniority of the users that perform them. Our results require new techniques, which make use of tree decompositions of the graph of the binary relation defining the constraint. Finally, we establish a lower bound for the hardness of the workflow satisfiability problem.

preprint2012arXiv

Parameterized Complexity of Satisfying Almost All Linear Equations over $\mathbb{F}_2$

The problem MaxLin2 can be stated as follows. We are given a system $S$ of $m$ equations in variables $x_1,...,x_n$ , where each equation is $\sum_{i \in I_j}x_i = b_j$ is assigned a positive integral weight $w_j$ and $x_i,b_j \in \mathbb{F}_2$ , $I_j \subseteq \{1,2,...,n\}$ for $j=1,...,m$ . We are required to find an assignment of values to the variables in order to maximize the total weight of the satisfied equations. Let $W$ be the total weight of all equations in $S$ . We consider the following parameterized version of MaxLin2: decide whether there is an assignment satisfying equations of total weight at least $W-k$ , where $k$ is a nonnegative parameter. We prove that this parameterized problem is W[1]-hard even if each equation of $S$ has exactly three variables and every variable appears in exactly three equations and, moreover, each weight $w_j$ equals 1 and no two equations have the same left-hand side. We show the tightness of this result by proving that if each equation has at most two variables then the parameterized problem is fixed-parameter tractable. We also prove that if no variable appears in more than two equations then we can maximize the total weight of satisfied equations in polynomial time.

preprint2012arXiv

Parameterized Study of the Test Cover Problem

We carry out a systematic study of a natural covering problem, used for identification across several areas, in the realm of parameterized complexity. In the {\sc Test Cover} problem we are given a set $[n]=\{1,...,n\}$ of items together with a collection, $\cal T$ , of distinct subsets of these items called tests. We assume that $\cal T$ is a test cover, i.e., for each pair of items there is a test in $\cal T$ containing exactly one of these items. The objective is to find a minimum size subcollection of $\cal T$ , which is still a test cover. The generic parameterized version of {\sc Test Cover} is denoted by $p(k,n,|{\cal T}|)$ -{\sc Test Cover}. Here, we are given $([n],\cal{T})$ and a positive integer parameter $k$ as input and the objective is to decide whether there is a test cover of size at most $p(k,n,|{\cal T}|)$ . We study four parameterizations for {\sc Test Cover} and obtain the following: (a) $k$ -{\sc Test Cover}, and $(n-k)$ -{\sc Test Cover} are fixed-parameter tractable (FPT). (b) $(|{\cal T}|-k)$ -{\sc Test Cover} and $(\log n+k)$ -{\sc Test Cover} are W[1]-hard. Thus, it is unlikely that these problems are FPT.

preprint2011arXiv

A New Lower Bound on the Maximum Number of Satisfied Clauses in Max-SAT and its Algorithmic Applications

A pair of unit clauses is called conflicting if it is of the form $(x)$ , $(\bar{x})$ . A CNF formula is unit-conflict free (UCF) if it contains no pair of conflicting unit clauses. Lieberherr and Specker (J. ACM 28, 1981) showed that for each UCF CNF formula with $m$ clauses we can simultaneously satisfy at least $\pp m$ clauses, where $\pp =(\sqrt{5}-1)/2$. We improve the Lieberherr-Specker bound by showing that for each UCF CNF formula $F$ with $m$ clauses we can find, in polynomial time, a subformula $F'$ with $m'$ clauses such that we can simultaneously satisfy at least $\pp m+(1-\pp)m'+(2-3\pp)n"/2$ clauses (in $F$ ), where $n"$ is the number of variables in $F$ which are not in $F'$ . We consider two parameterized versions of MAX-SAT, where the parameter is the number of satisfied clauses above the bounds $m/2$ and $m(\sqrt{5}-1)/2$ . The former bound is tight for general formulas, and the later is tight for UCF formulas. Mahajan and Raman (J. Algorithms 31, 1999) showed that every instance of the first parameterized problem can be transformed, in polynomial time, into an equivalent one with at most $6k+3$ variables and $10k$ clauses. We improve this to $4k$ variables and $(2\sqrt{5}+4)k$ clauses. Mahajan and Raman conjectured that the second parameterized problem is fixed-parameter tractable (FPT). We show that the problem is indeed FPT by describing a polynomial-time algorithm that transforms any problem instance into an equivalent one with at most $(7+3\sqrt{5})k$ variables. Our results are obtained using our improvement of the Lieberherr-Specker bound above.

preprint2011arXiv

Constraint Satisfaction Problems Parameterized Above or Below Tight Bounds: A Survey

We consider constraint satisfaction problems parameterized above or below tight bounds. One example is MaxSat parameterized above $m/2$ : given a CNF formula $F$ with $m$ clauses, decide whether there is a truth assignment that satisfies at least $m/2+k$ clauses, where $k$ is the parameter. Among other problems we deal with are MaxLin2-AA (given a system of linear equations over $\mathbb{F}_2$ in which each equation has a positive integral weight, decide whether there is an assignment to the variables that satisfies equations of total weight at least $W/2+k$ , where $W$ is the total weight of all equations), Max- $r$ -Lin2-AA (the same as MaxLin2-AA, but each equation has at most $r$ variables, where $r$ is a constant) and Max- $r$ -Sat-AA (given a CNF formula $F$ with $m$ clauses in which each clause has at most $r$ literals, decide whether there is a truth assignment satisfying at least $\sum_{i=1}^m(1-2^{r_i})+k$ clauses, where $k$ is the parameter, $r_i$ is the number of literals in Clause $i$ , and $r$ is a constant). We also consider Max- $r$ -CSP-AA, a natural generalization of both Max- $r$ -Lin2-AA and Max- $r$ -Sat-AA, order (or, permutation) constraint satisfaction problems of arities 2 and 3 parameterized above the average value and some other problems related to MaxSat. We discuss results, both polynomial kernels and parameterized algorithms, obtained for the problems mainly in the last few years as well as some open questions.

preprint2011arXiv

Simultaneously Satisfying Linear Equations Over $\mathbb{F}_2$ : MaxLin2 and Max- $r$ -Lin2 Parameterized Above Average

In the parameterized problem \textsc{MaxLin2-AA}[ $k$ ], we are given a system with variables $x_1,...,x_n$ consisting of equations of the form $\prod_{i \in I}x_i = b$ , where $x_i,b \in \{-1, 1\}$ and $I\subseteq [n],$ each equation has a positive integral weight, and we are to decide whether it is possible to simultaneously satisfy equations of total weight at least $W/2+k$ , where $W$ is the total weight of all equations and $k$ is the parameter (if $k=0$ , the possibility is assured). We show that \textsc{MaxLin2-AA}[ $k$ ] has a kernel with at most $O(k^2\log k)$ variables and can be solved in time $2^{O(k\log k)}(nm)^{O(1)}$ . This solves an open problem of Mahajan et al. (2006). The problem \textsc{Max- $r$ -Lin2-AA}[ $k,r$ ] is the same as \textsc{MaxLin2-AA}[ $k$ ] with two differences: each equation has at most $r$ variables and $r$ is the second parameter. We prove a theorem on \textsc{Max- $r$ -Lin2-AA}[ $k,r$ ] which implies that \textsc{Max- $r$ -Lin2-AA}[ $k,r$ ] has a kernel with at most $(2k-1)r$ variables improving a number of results including one by Kim and Williams (2010). The theorem also implies a lower bound on the maximum of a function $f:\ \{-1,1\}^n \rightarrow \mathbb{R}$ of degree $r$ . We show applicability of the lower bound by giving a new proof of the Edwards-Erd{\H o}s bound (each connected graph on $n$ vertices and $m$ edges has a bipartite subgraph with at least $m/2 + (n-1)/4$ edges) and obtaining a generalization.

preprint2010arXiv

Systems of Linear Equations over $\mathbb{F}_2$ and Problems Parameterized Above Average

In the problem Max Lin, we are given a system $Az=b$ of $m$ linear equations with $n$ variables over $\mathbb{F}_2$ in which each equation is assigned a positive weight and we wish to find an assignment of values to the variables that maximizes the excess, which is the total weight of satisfied equations minus the total weight of falsified equations. Using an algebraic approach, we obtain a lower bound for the maximum excess. Max Lin Above Average (Max Lin AA) is a parameterized version of Max Lin introduced by Mahajan et al. (Proc. IWPEC'06 and J. Comput. Syst. Sci. 75, 2009). In Max Lin AA all weights are integral and we are to decide whether the maximum excess is at least $k$ , where $k$ is the parameter. It is not hard to see that we may assume that no two equations in $Az=b$ have the same left-hand side and $n={\rm rank A}$ . Using our maximum excess results, we prove that, under these assumptions, Max Lin AA is fixed-parameter tractable for a wide special case: $m\le 2^{p(n)}$ for an arbitrary fixed function $p(n)=o(n)$ . Max $r$ -Lin AA is a special case of Max Lin AA, where each equation has at most $r$ variables. In Max Exact $r$ -SAT AA we are given a multiset of $m$ clauses on $n$ variables such that each clause has $r$ variables and asked whether there is a truth assignment to the $n$ variables that satisfies at least $(1-2^{-r})m + k2^{-r}$ clauses. Using our maximum excess results, we prove that for each fixed $r\ge 2$ , Max $r$ -Lin AA and Max Exact $r$ -SAT AA can be solved in time $2^{O(k \log k)}+m^{O(1)}.$ This improves $2^{O(k^2)}+m^{O(1)}$ -time algorithms for the two problems obtained by Gutin et al. (IWPEC 2009) and Alon et al. (SODA 2010), respectively.

preprint2009arXiv

Fixed-Parameter Algorithms in Analysis of Heuristics for Extracting Networks in Linear Programs

We consider the problem of extracting a maximum-size reflected network in a linear program. This problem has been studied before and a state-of-the-art SGA heuristic with two variations have been proposed. In this paper we apply a new approach to evaluate the quality of SGA\@. In particular, we solve majority of the instances in the testbed to optimality using a new fixed-parameter algorithm, i.e., an algorithm whose runtime is polynomial in the input size but exponential in terms of an additional parameter associated with the given problem. This analysis allows us to conclude that the the existing SGA heuristic, in fact, produces solutions of a very high quality and often reaches the optimal objective values. However, SGA contain two components which leave some space for improvement: building of a spanning tree and searching for an independent set in a graph. In the hope of obtaining even better heuristic, we tried to replace both of these components with some equivalent algorithms. We tried to use a fixed-parameter algorithm instead of a greedy one for searching of an independent set. But even the exact solution of this subproblem improved the whole heuristic insignificantly. Hence, the crucial part of SGA is building of a spanning tree. We tried three different algorithms, and it appears that the Depth-First search is clearly superior to the other ones in building of the spanning tree for SGA. Thereby, by application of fixed-parameter algorithms, we managed to check that the existing SGA heuristic is of a high quality and selected the component which required an improvement. This allowed us to intensify the research in a proper direction which yielded a superior variation of SGA.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

G. Gutin

Research overview

Is this your work?

15 publications

Component Order Connectivity in Directed Graphs

Proper Orientation Number of Triangle-free Bridgeless Outerplanar Graphs

Algorithms for the workflow satisfiability problem engineered for counting constraints

Parameterized and Approximation Algorithms for the Load Coloring Problem

Maximum Balanced Subgraph Problem Parameterized Above Lower Bound

(Non-)existence of Polynomial Kernels for the Test Cover Problem

Fixed-parameter tractability of satisfying beyond the number of variables

Fixed-Parameter Tractability of Workflow Satisfiability in the Presence of Seniority Constraints

Parameterized Complexity of Satisfying Almost All Linear Equations over $\mathbb{F}_2$

Parameterized Study of the Test Cover Problem

A New Lower Bound on the Maximum Number of Satisfied Clauses in Max-SAT and its Algorithmic Applications

Constraint Satisfaction Problems Parameterized Above or Below Tight Bounds: A Survey

Simultaneously Satisfying Linear Equations Over $\mathbb{F}_2$ : MaxLin2 and Max- $r$ -Lin2 Parameterized Above Average

Systems of Linear Equations over $\mathbb{F}_2$ and Problems Parameterized Above Average

Fixed-Parameter Algorithms in Analysis of Heuristics for Extracting Networks in Linear Programs

See the researcher in context

Building this map preview

G. Gutin

Research overview

Is this your work?

15 publications

Component Order Connectivity in Directed Graphs

Proper Orientation Number of Triangle-free Bridgeless Outerplanar Graphs

Algorithms for the workflow satisfiability problem engineered for counting constraints

Parameterized and Approximation Algorithms for the Load Coloring Problem

Maximum Balanced Subgraph Problem Parameterized Above Lower Bound

(Non-)existence of Polynomial Kernels for the Test Cover Problem

Fixed-parameter tractability of satisfying beyond the number of variables

Fixed-Parameter Tractability of Workflow Satisfiability in the Presence of Seniority Constraints

Parameterized Complexity of Satisfying Almost All Linear Equations over F2\mathbb{F}_2F2​

Parameterized Study of the Test Cover Problem

A New Lower Bound on the Maximum Number of Satisfied Clauses in Max-SAT and its Algorithmic Applications

Constraint Satisfaction Problems Parameterized Above or Below Tight Bounds: A Survey

Simultaneously Satisfying Linear Equations Over F2\mathbb{F}_2F2​: MaxLin2 and Max-rrr-Lin2 Parameterized Above Average

Systems of Linear Equations over F2\mathbb{F}_2F2​ and Problems Parameterized Above Average

Fixed-Parameter Algorithms in Analysis of Heuristics for Extracting Networks in Linear Programs

See the researcher in context

Building this map preview

Parameterized Complexity of Satisfying Almost All Linear Equations over $\mathbb{F}_2$

Simultaneously Satisfying Linear Equations Over $\mathbb{F}_2$ : MaxLin2 and Max- $r$ -Lin2 Parameterized Above Average

Systems of Linear Equations over $\mathbb{F}_2$ and Problems Parameterized Above Average