Skip to main content
Erschienen in: Theory of Computing Systems 8/2021

03.06.2021

Property Testing of the Boolean and Binary Rank

verfasst von: Michal Parnas, Dana Ron, Adi Shraibman

Erschienen in: Theory of Computing Systems | Ausgabe 8/2021

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

We present algorithms for testing if a (0,1)-matrix M has Boolean/binary rank at most d, or is 𝜖-far from having Boolean/binary rank at most d (i.e., at least an 𝜖-fraction of the entries in M must be modified so that it has rank at most d). For the Boolean rank we present a non-adaptive testing algorithm whose query complexity is \(\tilde {O}\left (d^{4}/ \epsilon ^{6}\right )\). For the binary rank we present a non-adaptive testing algorithm whose query complexity is O(22d/𝜖2), and an adaptive testing algorithm whose query complexity is O(22d/𝜖). All algorithms are 1-sided error algorithms that always accept M if it has Boolean/binary rank at most d, and reject with probability at least 2/3 if M is 𝜖-far from having Boolean/binary rank at most d.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Literatur
1.
Zurück zum Zitat Gregory, D.A., Pullman, N.J., Jones, K.F., Lundgren, J.R.: Biclique coverings of regular bigraphs and minimum semiring ranks of regular matrices. J. Comb. Theory Ser. B 51(1), 73–89 (1991)MathSciNetCrossRef Gregory, D.A., Pullman, N.J., Jones, K.F., Lundgren, J.R.: Biclique coverings of regular bigraphs and minimum semiring ranks of regular matrices. J. Comb. Theory Ser. B 51(1), 73–89 (1991)MathSciNetCrossRef
2.
Zurück zum Zitat Kushilevitz, E., Nisan, N.: Communication complexity. Cambridge University Press (1997) Kushilevitz, E., Nisan, N.: Communication complexity. Cambridge University Press (1997)
3.
4.
Zurück zum Zitat Simon, H.U.: On approximate solutions for combinatorial optimization problems. SIAM Journal on Discrete Math 3(2), 294–310 (1990)MathSciNetCrossRef Simon, H.U.: On approximate solutions for combinatorial optimization problems. SIAM Journal on Discrete Math 3(2), 294–310 (1990)MathSciNetCrossRef
5.
Zurück zum Zitat Gruber, H., Holzer, M.: Inapproximability of nondeterministic state and transition complexity assuming p≠ np. In: Proceedings of the 11th International Conference on Developments in Language Theory (DLT), pp 205–216. Springer (2007) Gruber, H., Holzer, M.: Inapproximability of nondeterministic state and transition complexity assuming p≠ np. In: Proceedings of the 11th International Conference on Developments in Language Theory (DLT), pp 205–216. Springer (2007)
6.
Zurück zum Zitat Chalermsook, P., Heydrich, S., Holm, E., Karrenbauer, A.: Nearly tight approximability results for minimum biclique cover and partition. In: Proceedings of the 2014 european symposium on algorithms (esa), pp 235–246 (2014) Chalermsook, P., Heydrich, S., Holm, E., Karrenbauer, A.: Nearly tight approximability results for minimum biclique cover and partition. In: Proceedings of the 2014 european symposium on algorithms (esa), pp 235–246 (2014)
7.
Zurück zum Zitat Rubinfeld, R., Sudan, M.: Robust characterizations of polynomials with applications to program testing. SIAM Journal on Computing 25(2), 252–271 (1996)MathSciNetCrossRef Rubinfeld, R., Sudan, M.: Robust characterizations of polynomials with applications to program testing. SIAM Journal on Computing 25(2), 252–271 (1996)MathSciNetCrossRef
8.
Zurück zum Zitat Goldreich, O., Goldwasser, S., Ron, D.: Property testing and its connection to learning and approximation. Journal of the ACM 45(4), 653–750 (1998)MathSciNetCrossRef Goldreich, O., Goldwasser, S., Ron, D.: Property testing and its connection to learning and approximation. Journal of the ACM 45(4), 653–750 (1998)MathSciNetCrossRef
9.
Zurück zum Zitat Krauthgamer, R., Sasson, O.: Property testing of data dimensionality. In: Proceedings of the 14th annual ACM-SIAM symposium on Discrete algorithms (SODA), pp 18–27, Society for Industrial and Applied Mathematics (2003) Krauthgamer, R., Sasson, O.: Property testing of data dimensionality. In: Proceedings of the 14th annual ACM-SIAM symposium on Discrete algorithms (SODA), pp 18–27, Society for Industrial and Applied Mathematics (2003)
10.
Zurück zum Zitat Li, Y., Wang, Z., Woodruff, D.P.: Improved testing of low rank matrices. In: Proceedings of the 20th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD), pp 691–700 (2014) Li, Y., Wang, Z., Woodruff, D.P.: Improved testing of low rank matrices. In: Proceedings of the 20th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD), pp 691–700 (2014)
11.
Zurück zum Zitat Balcan, M.-F., Li, Y., Woodruff, D.P., Zhang, H.: Testing matrix rank, optimally. In: Proceedings of the 13th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), pp 727–746 (2019) Balcan, M.-F., Li, Y., Woodruff, D.P., Zhang, H.: Testing matrix rank, optimally. In: Proceedings of the 13th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), pp 727–746 (2019)
12.
Zurück zum Zitat Parnas, M., Shraibman, A.: The augmentation property of binary matrices for the binary and Boolean rank. Linear Algebra Appl. 556, 70–99 (2018)MathSciNetCrossRef Parnas, M., Shraibman, A.: The augmentation property of binary matrices for the binary and Boolean rank. Linear Algebra Appl. 556, 70–99 (2018)MathSciNetCrossRef
13.
Zurück zum Zitat Alon, N., Fischer, E., Newman, I.: Efficient testing of bipartite graphs for forbidden induced subgraphs. SIAM J. Comput. 37(3), 959–976 (2007)MathSciNetCrossRef Alon, N., Fischer, E., Newman, I.: Efficient testing of bipartite graphs for forbidden induced subgraphs. SIAM J. Comput. 37(3), 959–976 (2007)MathSciNetCrossRef
15.
Zurück zum Zitat Sohler, C.: Almost optimal canonical property testers for satisfiability. In: Proceedings of the 53rd Annual IEEE Symposium on Foundations of Computer Science (FOCS), pp 541–550 (2012) Sohler, C.: Almost optimal canonical property testers for satisfiability. In: Proceedings of the 53rd Annual IEEE Symposium on Foundations of Computer Science (FOCS), pp 541–550 (2012)
16.
Zurück zum Zitat Nakar, Y., Ron, D.: On the testability of graph partition properties. In: Approximation, randomization, and combinatorial optimization. algorithms and techniques, APPROX/RANDOM, volume 116 of LIPIcs, pp 53:1–53:13 (2018) Nakar, Y., Ron, D.: On the testability of graph partition properties. In: Approximation, randomization, and combinatorial optimization. algorithms and techniques, APPROX/RANDOM, volume 116 of LIPIcs, pp 53:1–53:13 (2018)
17.
Zurück zum Zitat Parnas, M., Ron, D., Rubinfeld, R.: Tolerant property testing and distance approximation. Journal of Computer and System Sciences 72 (6), 1012–1042 (2006)MathSciNetCrossRef Parnas, M., Ron, D., Rubinfeld, R.: Tolerant property testing and distance approximation. Journal of Computer and System Sciences 72 (6), 1012–1042 (2006)MathSciNetCrossRef
18.
Zurück zum Zitat Czumaj, A., Sohler, C.: Abstract combinatorial programs and efficient property testers. SIAM Journal on Computing 34(3), 580–615 (2005)MathSciNetCrossRef Czumaj, A., Sohler, C.: Abstract combinatorial programs and efficient property testers. SIAM Journal on Computing 34(3), 580–615 (2005)MathSciNetCrossRef
Metadaten
Titel
Property Testing of the Boolean and Binary Rank
verfasst von
Michal Parnas
Dana Ron
Adi Shraibman
Publikationsdatum
03.06.2021
Verlag
Springer US
Erschienen in
Theory of Computing Systems / Ausgabe 8/2021
Print ISSN: 1432-4350
Elektronische ISSN: 1433-0490
DOI
https://doi.org/10.1007/s00224-021-10047-8

Weitere Artikel der Ausgabe 8/2021

Theory of Computing Systems 8/2021 Zur Ausgabe