If a correct algorithm is written with the following structure: ASolver(x): BSolver(x') return x solution Which of the following logical implications does the algorithm establish? Select all that...

Extracted text: If a correct algorithm is written with the following structure: ASolver(x): BSolver(x') return x solution Which of the following logical implications does the algorithm establish? Select all that apply. ASolver exists implies BSolver exists BSolver exists implies ASolver exists ASolver doesn't exist implies BSolver doesn't exist BSolver doesn't exist implies ASolver doesn't exist