Randomized Algorithms over Finite Fields for the Exact Parity Base Problem

We present three randomized pseudo-polynomial algorithms for the problem of finding a base of specified value in a weighted represented matroid subject to parity conditions. These algorithms, the first two being an improved version of those presented by P. M. Camerini et al. (1992, J. Algorithms13,...

Full description

Saved in:
Bibliographic Details
Published in:Journal of Complexity Vol. 15; no. 4; pp. 537 - 556
Main Authors: Galbiati, Giulia, Maffioli, Francesco, Viola, Carlo
Format: Journal Article
Language:English
Published: Elsevier Inc 01.12.1999
Subjects:
exact problems
matroids
randomized algorithms
exact problems
matroids
randomized algorithms
ISSN:0885-064X, 1090-2708
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:We present three randomized pseudo-polynomial algorithms for the problem of finding a base of specified value in a weighted represented matroid subject to parity conditions. These algorithms, the first two being an improved version of those presented by P. M. Camerini et al. (1992, J. Algorithms13, 258–273) use fast arithmetic working over a finite field chosen at random among a set of appropriate fields. We show that the choice of a best algorithm among those presented depends on a conjecture related to the best value of the so-called Linnik constant concerning the distribution of prime numbers in arithmetic progressions. This conjecture, which we call the C-conjecture, is a strengthened version of a conjecture formulated in 1934 by S. Chowla. If the C-conjecture is true, the choice of a best algorithm is simple, since the last algorithm exhibits the best performance, either when the performance is measured in arithmetic operations, or when it is measured in bit operations and mild assumptions hold. If the C-conjecture is false we are still able to identify a best algorithm, but in this case the choice is between the first two algorithms and depends on the asymptotic growth of m with respect to those of U and n, where 2n, 2m, U are the rank, the number of elements, and the maximum weight assigned to the elements of the matroid, respectively.
ISSN:0885-064X
1090-2708
DOI:10.1006/jcom.1999.0522