- iOS/Objective-C 元类和类别
- objective-c - -1001 错误,当 NSURLSession 通过 httpproxy 和/etc/hosts
- java - 使用网络类获取 url 地址
- ios - 推送通知中不播放声音
NSubsets<N, Pack<Types...>>::type
是由 Types...
的所有子集组成的包中包大小为 N。例如,
NSubsets<2, Pack<int, char, double>>::type
应该是
Pack<Pack<int, char>, Pack<int, double>, Pack<char, double>>
一种方法是简单地获取 PowerSet
的输出来自 Obtaining all subpacks from a pack 的解决方案,然后删除每个不是 N 大小的包。但这对于大 N 来说效率太低了(而且很糟糕)。这是我的想法(灵感来自 PowerSet
的优雅解决方案): 假设我们有 Pack<A,B,C,D>
, N = 2. 从 Pack<>
开始,我们遍历 Pack<A,B,C,D>
中的类型并像这样附加每种类型:在附加任何内容之前,我们有:
Pack<>
将 A 附加到前一个(并保留前一个),我们得到:
Pack<>, Pack<A>
将 B 附加到前一个(并保留前一个),我们得到:
Pack<>, Pack<A>, Pack<B>, Pack<A,B>,
但是Pack<A,B>
大小为 2,所以把它藏起来并从这个列表中取出,留给我们:
Pack<>, Pack<A>, Pack<B>
将 C 附加到前一个(并保留前一个),我们得到:
Pack<>, Pack<A>, Pack<B>, Pack<C>, Pack<A,C>, Pack<B,C>.
像上面一样,藏起来Pack<A,C>, Pack<B,C>
:
Pack<>, Pack<A>, Pack<B>, Pack<C>
将 D 附加到前一个(并保留前一个),我们得到:
Pack<D>, Pack<A,D>, Pack<B,D>, Pack<C,D>.
再次使用尺寸为 2 的那些,我们现在终于有了
Pack<Pack<A,B>, Pack<A,C>, Pack<B,C>, Pack<A,D>, Pack<B,D>, Pack<C,D>>
作为我们想要的输出。
请注意,此算法中的一个缺陷是保留 Pack<>
在倒数第二步无缘无故。如果 N 大于 2,这个无关的部分真的会浪费时间。 以下是我使用上述方法的代码,但输出为 false,我无法追踪原因(目前)。但即使如果它确实工作正常,我仍然不太喜欢它,主要是因为我刚才提到的缺陷,我不知道如何也可以消除该缺陷。
#include <iostream>
#include <type_traits>
template <int, typename> struct IsSize;
template <int N, template <typename...> class P, typename... Types>
struct IsSize<N, P<Types...>> : std::integral_constant<bool, sizeof...(Types) == N> {};
template <int, typename, typename, typename> struct PartitionPacksBySizeHelper;
template <int N, template <typename...> class P, typename... KeptPacks, typename... SizeNPacks>
struct PartitionPacksBySizeHelper<N, P<>, P<KeptPacks...>, P<SizeNPacks...>> {
using not_sizeN_types = P<KeptPacks...>;
using sizeN_types = P<SizeNPacks...>;
};
template <int N, template <typename...> class P, typename First, typename... Rest, typename... KeptPacks, typename... SizeNPacks>
struct PartitionPacksBySizeHelper<N, P<First, Rest...>, P<KeptPacks...>, P<SizeNPacks...>> : std::conditional<IsSize<N, First>::value,
PartitionPacksBySizeHelper<N, P<Rest...>, P<KeptPacks...>, P<SizeNPacks..., First>>,
PartitionPacksBySizeHelper<N, P<Rest...>, P<KeptPacks..., First>, P<SizeNPacks...>>
>::type {};
template <int, typename> struct PartitionPacksBySize;
template <int N, template <typename...> class P, typename... Packs>
struct PartitionPacksBySize<N, P<Packs...>> : PartitionPacksBySizeHelper<N, P<Packs...>, P<>, P<>> {};
template <typename, typename> struct Append;
template <typename T, template <typename...> class P, typename...Types>
struct Append<T, P<Types...>> {
using type = P<Types..., T>;
};
template <int, typename, typename, typename> struct NSubsetsHelper;
template <int N, template <typename...> class P, typename... CurrentPacks, typename... AccumulatedPacks>
struct NSubsetsHelper<N, P<>, P<CurrentPacks...>, P<AccumulatedPacks...>> {
using type = P<AccumulatedPacks...>;
};
template <int N, template <typename...> class P, typename First, typename... Rest, typename... KeptPacks, typename... SizeNPacks>
struct NSubsetsHelper<N, P<First, Rest...>, P<KeptPacks...>, P<SizeNPacks...>>
: NSubsetsHelper<N, P<Rest...>,
typename PartitionPacksBySize<N, P<KeptPacks..., typename Append<First, KeptPacks>::type...>>::not_sizeN_types,
typename PartitionPacksBySize<N, P<KeptPacks..., typename Append<First, KeptPacks>::type...>>::sizeN_types> {};
template <int, typename> struct NSubsets;
template <int N, template <typename...> class P, typename...Types>
struct NSubsets<N, P<Types...>> : NSubsetsHelper<N, P<Types...>, P<P<>>, P<>> {};
// -----------------------------------------------------------------------------------------------------------------------------------------------
// Testing
template <typename...> struct Pack {};
int main() {
std::cout << std::boolalpha << std::is_same< NSubsets<2, Pack<int, char, double>>::type,
Pack<Pack<int, char>, Pack<int, double>, Pack<char, double>>
>::value << std::endl; // false (darn!)
}
我在纸上查到上面的包应该是输出的,当我改变包的顺序时,它仍然是错误的。但是,正如我上面提到的,无论如何,这种方法还是很差。对更好的方法有什么建议吗?
更新:我发现我的错误,并替换
typename PartitionPacksBySize<N, P<KeptPacks..., typename Append<First, KeptPacks>::type...>>::sizeN_types>
与
typename Merge<P<SizeNPacks...>, typename PartitionPacksBySize<N, P<KeptPacks..., typename Append<First, KeptPacks>::type...>>::sizeN_types>::type
但是,当 N 很大时,您仍然看到我的算法在最后 N 次迭代中是如何浪费时间的吗?
最佳答案
我们可以精确地生成大小为 k
的子集从一开始 - 这将更有效率,因为我们只需要做 O(n^k)
代替 O(2^n)
工作工作。这里的算法只是迭代n
的所有单词排列。正好有 k
的位1s,并为每个单词添加适当的Pack
.
我们首先从寻找 next permutation 的 bithack 开始。 ,以 constexpr 形式:
constexpr int ctz(size_t n) {
return n & 1 ? 0 : 1 + ctz(n >> 1);
}
constexpr size_t next_perm_impl(size_t v, size_t t) {
return (t + 1) | (((~t & -~t) - 1) >> (ctz(v) + 1));
}
constexpr size_t next_perm(size_t v) {
return next_perm_impl(v, v | (v - 1));
}
接下来,我获取 Columbo 的累加器,他出于某种原因从您上一个问题的答案中删除了该累加器:
template <class... T> struct Pack { using type = Pack; };
template <size_t size, class result, class>
struct accumulator : result { };
template <size_t j, class... R, class T1, class... T>
struct accumulator<j, Pack<R...>, Pack<T1, T...>>
: accumulator<(j>>1), typename std::conditional<j&1, Pack<R..., T1>, Pack<R...>>::type, Pack<T...>>
{};
给定一个值 j
, 我们可以确定 Pack
与这些元素相关联。现在我们只需要从 (1 << k) - 1
迭代最多 (1 << N) + (1 << (k-1)) - 1
.可能有更有效的方法来执行此操作,但以下方法有效:
template <typename P, typename Result, size_t CUR, size_t LAST>
struct PowerPackImpl;
template <typename P, typename... R, size_t CUR, size_t LAST>
struct PowerPackImpl<P, Pack<R...>, CUR, LAST>
: PowerPackImpl<P,
Pack<R..., typename accumulator<CUR, Pack<>, P>::type>,
next_perm(CUR),
LAST>
{ };
template <typename P, typename... R, size_t LAST>
struct PowerPackImpl<P, Pack<R...>, LAST, LAST>
: Pack<R...> { };
template <typename P, size_t K> struct PowerPack;
template <typename... P, size_t K>
struct PowerPack<Pack<P...>, K>
: PowerPackImpl<Pack<P...>, Pack<>, (1 << K) - 1, (1 << sizeof...(P)) + (1 << (K-1)) - 1>
{ };
例如:
static_assert(std::is_same<
typename PowerPack<Pack<int, char, double, float>, 1>::type,
Pack<Pack<int>, Pack<char>, Pack<double>, Pack<float>>
>::value, "1 works");
static_assert(std::is_same<
typename PowerPack<Pack<int, char, double, float>, 2>::type,
Pack<Pack<int, char>, Pack<int, double>, Pack<char, double>, Pack<int, float>, Pack<char, float>, Pack<double, float> >
>::value, "2 works");
关于c++ - 从模板包生成所有大小为 N 的子包,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/28504167/
我正在尝试使用以下 keytool 命令为我的应用程序生成 keystore : keytool -genkey -alias tomcat -keystore tomcat.keystore -ke
编辑:在西里尔正确解决问题后,我注意到只需将生成轴的函数放在用于生成标签的函数下面就可以解决问题。 我几乎读完了 O'Reilly 书中关于 D3.js 的教程,并在倒数第二页上制作了散点图,但是当添
虽然使用 GraphiQL 效果很好,但我的老板要求我实现一个用户界面,用户可以在其中通过 UI 元素(例如复选框、映射关系)检查呈现给他们的元素并获取数据,这样做将为该人生成 graphql 输入,
我尝试在 Netbean 6.8 中使用 ws-import 生成 Java 类。我想重新生成 jax-ws,因为在 ebay.api.paypalapi 包中发现了一个错误(我认为该错误是由于 Pa
我有一个 perl 脚本,它获取系统日期并将该日期写入文件名。 系统日期被分配给 TRH1 变量,然后它被设置为一个文件名。 $TRH1 =`date + %Y%m%d%H%M`; print "TR
我是 Haskell 的新手,需要帮助。我正在尝试构建一种必须具有某种唯一性的新数据类型,因此我决定使用 UUID 作为唯一标识符: data MyType = MyType { uuid ::
我制作了一个脚本,它可以根据 Mysql 数据库中的一些表生成 XML。 该脚本在 PHP 中运行。 public function getRawMaterials($apiKey, $format
所以这是我的项目中的一个问题。 In this task, we will use OpenSSL to generate digital signatures. Please prepare a f
我在 SAS LIFEREG 中有一个加速故障时间模型,我想绘制它。因为 SAS 在绘图方面非常糟糕,我想实际重新生成 R 中曲线的数据并将它们绘制在那里。 SAS 提出了一个尺度(在指数分布固定为
我正在为 Django 后端制作一个样板,并且我需要能够使它到达下一个下载它的人显然无法访问我的 secret key 的地方,或者拥有不同的 key 。我一直在研究一些选项,并在这个过程中进行了实验
我正在创建一个生成采购订单的应用程序。我可以根据用户输入的详细信息创建文本文件。我想生成一个看起来比普通文本文件好得多的 Excel。有没有可以在我的应用程序中使用的开源库? 最佳答案 目前还没有任何
我正在尝试使用 ScalaCheck 为 BST 创建一个 Gen,但是当我调用 .sample 方法时,它给了我 java.lang.NullPointerException。我哪里错了? seal
已关闭。此问题需要 debugging details 。目前不接受答案。 编辑问题以包含 desired behavior, a specific problem or error, and the
我尝试编写一些代码,例如(在verilog中): parameter N = 128; if (encoder_in[0] == 1) begin 23 binary_out = 1;
我正忙于在 Grails 项目中进行从 MySQL 到 Postgres 的相当复杂的数据迁移。 我正在使用 GORM 在 PostGres 中生成模式,然后执行 MySQL -> mysqldump
如何使用纯 XSLT 生成 UUID?基本上是寻找一种使用 XSLT 创建独特序列的方法。该序列可以是任意长度。 我正在使用 XSLT 2.0。 最佳答案 这是一个good example 。基本上,
我尝试安装.app文件,但是当我安装并单击“同步”(在iTunes中)时,我开始在设备上开始安装,然后停止,这是一个问题,我不知道在哪里,但我看到了我无法解决的奇怪的事情: 最佳答案 似乎您没有在Xc
自从我生成 JavaDocs 以来已经有一段时间了,我确信这些选项在过去 10 年左右的时间里已经得到了改进。 我能否得到一些有关生成器的建议,该生成器将输出类似于 .Net 文档结构的 JavaDo
我想学习如何生成 PDF,我不想使用任何第三方工具,我想自己用代码创建它。到目前为止,我所看到的唯一示例是我通过在第 3 方 dll 上打开反射器查看的代码,以查看发生了什么。不幸的是,到目前为止我看
我正在从 Epplus 库生成 excel 条形图。 这是我成功生成的。 我的 table 是这样的 Mumbai Delhi Financial D
我是一名优秀的程序员,十分优秀!