#### Filter Results:

- Full text PDF available (7)

#### Publication Year

2013

2017

- This year (1)
- Last 5 years (9)
- Last 10 years (9)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Data Set Used

#### Key Phrases

Learn More

- Vladimir Kolmogorov, Andrei A. Krokhin, Michal Rolinek
- 2015 IEEE 56th Annual Symposium on Foundations of…
- 2015

An instance of the Valued Constraint Satisfaction Problem (VCSP) is given by a finite set of variables, a finite domain of labels, and a sum of functions, each function depending on a subset of the variables. Each function can take finite values specifying costs of assignments of labels to its variables or the infinite value, which indicates an infeasible… (More)

- Vladimir Kolmogorov, Michal Rolinek, Rustem Takhanov
- ISAAC
- 2015

Constraint Satisfaction Problem (CSP) is a fundamental algorithmic problem that appears in many areas of Computer Science. It can be equivalently stated as computing a homomorphism R → Γ between two relational structures, e.g. between two directed graphs. Analyzing its complexity has been a prominent research direction, especially for the fixed template… (More)

- Vladimir Kolmogorov, Thomas Pock, Michal Rolinek
- SIAM J. Imaging Sciences
- 2016

We consider the problem of minimizing the continuous valued total variation subject to different unary terms on trees and propose fast direct algorithms based on dynamic programming to solve these problems. We treat both the convex and the non-convex case and derive worst case complexities that are equal or better than existing methods. We show applications… (More)

- Alexandr Kazda, Vladimir Kolmogorov, Michal Rolinek
- SODA
- 2017

The main result of this paper is a generalization of the classical blossom algorithm for finding perfect matchings. Our algorithm can efficiently solve Boolean CSPs where each variable appears in exactly two constraints (we call it edge CSP) and all constraints are even ∆-matroid relations (represented by lists of tuples). As a consequence of this, we… (More)

- Vladimir Kolmogorov, Michal Rolinek
- ArXiv
- 2014

An N-superconcentrator is a directed, acyclic graph with N input nodes and N output nodes such that every subset of the inputs and every subset of the outputs of same cardinality can be connected by node-disjoint paths. It is known that linear-size and bounded-degree superconcentrators exist. We prove the existence of such superconcentrators with asymptotic… (More)

- Joël Alwen, Peter Gazi, +6 authors Michal Rybár
- IACR Cryptology ePrint Archive
- 2016

—We show attacks on five data-independent memory-hard functions (iMHF) that were submitted to the password hashing competition. Informally, an MHF is a function which cannot be evaluated on dedicated hardware, like ASICs, at significantly lower energy and/or hardware cost than evaluating a single instance on a standard single-core architecture.… (More)

The accuracy of information retrieval systems is often measured using complex non-decomposable loss functions such as the average precision (AP) or the normalized discounted cumulative gain (NDCG). Given a set of positive (relevant) and negative (non-relevant) samples, the parameters of a retrieval system can be estimated using a rank SVM framework, which… (More)

- ‹
- 1
- ›