给定 N ，问是否存在正整数 A,B ，满足 3A+5B=N 。若存在，请输出字典序最小的解（在 A 最小的前提下 B 尽量小），若不存在，请输出 −1 。

这个问题可以通过算法求解，具体来说，我们可以使用贪心策略和扩展欧几里得算法来找寻符合条件的整数解。因为题目要求找到字典序最小的解，我们首先确定一个基础解（即最小的A值），然后根据3和5的关系调整B值。

以下是一个简单的C++函数来解决这个问题：

#include <iostream>
using namespace std;

pair<int, int> extendedEuclidean(int a, int b) {
    if (b == 0) {
        return {a, 1, 0};
    }
    auto sub = extendedEuclidean(b, a % b);
    return {sub.second, sub.first - (a / b) * sub.second, sub.first};
}

bool findSolution(int n, pair<int, int>& result) {
    int g = extendedEuclidean(3, 5).first; // 最大公约数
    if (n % g != 0) {
        return false;
    }
    int divisors[] = {n / g, n / (3 * g), n / (5 * g)};
    for (int i : divisors) {
        if (i > 0 && 3 * i <= n) {
            result = {i, (n - 3 * i) / 5};
            break;
        }
    }
    return true;
}

void solve(int n) {
    pair<int, int> min_solution;
    if (findSolution(n, min_solution)) {
        cout << min_solution.first << " " << min_solution.second << endl;
    } else {
        cout << -1 << endl;
    }
}

int main() {
    int N; // 用户输入N的值
    cin >> N;
    solve(N);
    return 0;
}

这个程序首先计算3和5的最大公约数g，如果n不能被g整除，则没有解决方案。接着，我们枚举可能的A值（n/g, n/(3*g), n/(5*g)），选择使得B尽可能小且A为正整数的组合。找到后，就输出字典序最小的解。如果没有找到，则输出-1。